SS10 : Contraintes

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