[bull-ia] Supports et Vidéos de la Master Class sur les Méthodes Hybrides d’Optimisation de juin 2018 à Toulouse

Nous avons mis en ligne sur

les présentations et vidéos des intervenants à la Master class citée en objet. Par rapport au programme rappelé initial rappelé en bas de ce message et suite à un empêchement de Pierre Bonami, Jean-Bernard Lasserre (LAAS) a fait un exposé intitulé  « Moments & Positive Polynomials in and outside Optimization ».

Vous trouverez également ci-dessous les liens directs.

Merci encore aux intervenants et aux nombreux participants !

Bien cordialement

Christian Artigues

John Hooker
Slides: http://homepages.laas.fr/artigues/master-class-2018/John-Hooker.pdf
Video part I: http://www.laas.fr/vod/public/wowza/Hooker_MIP-CP_part_1.html
Video part II: http://www.laas.fr/vod/public/wowza/Hooker_MIP-CP_part_2.html
Video part III: http://www.laas.fr/vod/public/wowza/Hooker_MINLP.html

Laurent Simon
Slides: http://homepages.laas.fr/artigues/master-class-2018/Laurent-Simon.pdf
Video: http://www.laas.fr/vod/public/wowza/Simon_SAT-CP.html
PySAT: http://homepages.laas.fr/artigues/master-class-2018/Laurent-Simon.zip

Willem Van Hoeve
Slides: http://homepages.laas.fr/artigues/master-class-2018/Willem-Van-Hoeve.pdf
Video part I: http://www.laas.fr/vod/public/wowza/VanHoeve_BDD_part_1.html
Video part II: http://www.laas.fr/vod/public/wowza/VanHoeve_BDD_part_2.html

Jean-Bernard Lasserre
Slides: http://homepages.laas.fr/artigues/master-class-2018/Jean-Lasserre.pdf
Videos: http://www.laas.fr/vod/public/wowza/Lasserre_MINLP.html

Paul Shaw
Slides: http://homepages.laas.fr/artigues/master-class-2018/ShawMasterclassToulouse2018.pdf
Video: http://www.laas.fr/vod/public/wowza/Shaw_LS-CP.html

—————-
Le labex CIMI de Toulouse finance un semestre thématique en optimisation qui s’ouvre avec une Master Class sur les méthodes hybrides pour l’Optimisation Combinatoire/Mixte les 4 et 5 juin au LAAS-CNRS. Des orateurs de renommée internationale feront partager leur expérience sur ces méthodes qui intègrent la Programmation Mathématique, la Programmation Par Contraintes, la Satisfaisabilité Booléenne, la Recherche Locale… A la frontière de la Recherche Opérationnelle et de l’Intelligence Artificielle, elles ont permis des avancées parfois spectaculaires sur la résolution de problèmes particulièrement difficiles.
 
Lieu : Salle de Conférences – LAAS/CNRS – 7 avenue du Colonel Roche 31031 Toulouse
 
Date 4 et 5 juin 2018 à partir de 10h30

Pierre Bonami (Laboratoire d’Informatique Fondamentale de Marseille, Université d’Aix-Marseille)
Mixed-Integer Linear and Nonlinear Programming Methods
 
Willem Jan van Hoeve (Carnegie Mellon University)
Decision diagrams for Discrete Optimization, Constraint programming, and Integer Programming
 
John Hooker (Carnegie Mellon University)
Hybrid Mixed-Integer Programming / Constraint Programming Methods
 
Paul Shaw (IBM Research)
Combinations of local search and constraint programming
 
Laurent Simon (Labri, Université de Bordeaux)
Understanding, using and extending SAT solvers