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éorie. 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-consistance, méthodes de look-ahead, méthodes de look-back, etc.).
Voici le sujet. En cas de questions, contacter David Savourey.
Pour la soutenance, vous pouvez préparer quelques slides. Il faut rédiger un petit rapport (15 pages max, sans listings de code), dans lequel vous expliquerez vos choix de modélisation, les choses que vous jugez originales dans vos contributions, et les difficultés que vous avez rencontrées.
Il faut envoyer les rapports avec les codes joints au plus tard le lundi 26 février 9h du matin au plus tard.