IP5003 - Programmation par contraintes

Vous êtes ici :

IP5003 - Programmation par contraintes

Objectifs

Objectif général :

Modéliser et résoudre des problèmes d'optimisation combinatoire avec de la technologie «programmation par contraintes »

Objectifs détaillés :

Savoir caractériser les problèmes de satisfaction de contraintes : formalisme, modélisation, techniques de résolution (parcours d'arbre de recherche et stratégie de recherche, arc-consistance, propagation de contraintes, contraintes globales, optimisation).

Appliquer la programmation par contraintes (avec ILOG Solver) : domaines finis, implantation et systèmes, application à l'optimisation combinatoire.

Volume horaire (h)

  • Cours magistraux : 10
  • Travaux dirigés : 12

Examens

Nombre total d'heures d’évaluation : 2

Ce cours fait partie de la formation

En bref

Crédits ECTS : Cf UE

Nombre d'heures 24

Contact(s)

Nicolas BARNIER

Tél : +33 5 62 25 95 06

Email : nicolas.barnier @ enac.fr