Modélisation Programmation par Contraintes

Ce cours introduit les principes de la modélisation en programmation par contraintes. Divers problèmes seront considérés et diverses modélisations envisagées. On s’intéressera aux contraintes globales, aux symétries et aux méthodes de recherches de solutions.

Description

Ces principes seront illustrés sur des problèmes importants comme le car sequencing et le sport scheduling.

Modalités de contrôle des connaissances

• Contrôle continu (30%)
• Examen Final (70%)