Descriptif
Ce cours porte sur l'étude de la programmation par contraintes (PPC), qui est un paradigme puissant pour la résolution de problèmes combinatoires. Nous présenterons les idées majeures de cette théories. Nous tenterons d'aborder à la fois les aspects théoriques (étude des CSPs, résultats de complexité, problèmes polynomiaux, etc.) et les aspects pratiques de la PPC (backtrack, algos d'arc-consistence, etc.).Objectifs pédagogiques
Connaitre les principes de la programmation par contraintes, les théories sous-jacentes, les techniques pratiques pour l'utiliser
30 heures en présentiel
