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