Cette session est consacrée aux liens entre la Programmation Par Contraintes et la Recherche Opérationnelle pour la résolution de problèmes d’optimisation : modélisation, contraintes globales, méthodes hybrides PPC et RO, solver PPC, solver SAT

 

SS10-1

Chairs : MJ. Huguet, A. Malapert, X. Lorca

Mercredi 10 février 15:00 - 16:00, Salle RP13

• 33 - Optimisation de la planification de la maintenance de parcs éoliens.
  Aurélien Froger, Eric Pinson, Jorge Mendoza, Michel Gendreau et Louis-Martin Rousseau
• 83 - Planification de ressources dans le transport de passagers.
  Xavier Lorca, Charles Prud'Homme, Abbas El Dor, Aurelien Questel, Benoit Rottembourg, Jean-Guillaume Fages et Tanguy Lapègue
• 133 - Optimisation Globale Déterministe Garantie sous Contraintes Différentielles par Morceaux.
  Hugo Joudrier et Khaled Hadj-Hamou

SS10-2 : Contraintes

Chairs : MJ. Huguet, A. Malapert, X. Lorca

Vendredi 12 février 15:00 - 16:00, Salle RP13

• 111 - XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems.
  Christophe Lecoutre, Frederic Boussemart et Cedric Piette
• 166 - Preuve formelle et contrainte alldiff.
  Catherine Dubois, Antonin Butant et Sourour Elloumi
• 209 - Une contrainte globale pour une classe de problèmes d’optimisation temporelle.
  Alban Derrien, Jean-Guillaume Fages, Thierry Petit et Charles Prud'Homme