La programmation par contraintes consiste à poser un problème sous forme de contraintes entre plusieurs variables. Les différentes méthodes de résolution se distinguent par la manière de propager des valeurs impossibles pour certains variables. La programmation mathématique concerne le cas de variables numériques sous des contraintes numériques, souvent linéaires. Il existe de nombreux solveurs implémentés et ces formes de résolutions de problèmes sont appréciées en industrie.

Ce cours présente les fondements théoriques à la programmation par contrainte (CSP), et de la programmation mathématique. Il montre comment s'en servir pour résoudre des problèmes concrets. Il y aura des exercices théoriques, mais aussi pratiques utilisant une bibliothèque de CSP, et un langage de modélisation en programmation mathématique.

Modalités d'évaluation : 20 % projet, 80 % examen écrit final

Dernière mise à jour : lundi 25 mars 2013