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
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
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