Partie 2 (Emmanuel Coquery) : Contraintes : Algorithmes et Techniques
Cette partie vise à introduire formellement la notion de contraintes, en particulier à travers la programmation par contraintes, ainsi qu'à décrire un ensemble d'algorithmes et de techniques employés en programmation par contraintes. Nous aborderons les points suivants:
Langage:
Notion de domaine de contraintes, principes de la programmation par contraintes.
Différents domaines de contraintes: domaines finis, réels/rationnels, ordres.
Algorithmique et techniques de résolution:
Algorithmes de filtrage: consistance de borne, d'arc, de chemin
Contraintes globales
Filtrage de contraintes par réécriture
Compétences acquises Méthodologiques : Savoir définir un problème nécessitant des techniques avancées de représentation de connaissances et de modélisation de données. Savoir identifier les approches algorithmiques nécessaires et les algorithmes qui serviront de bases pour proposer des solutions a des problèmes spécifiques.
Techniques : Utilisation d'outils formels
Secteur d’activité concerné et compétences métier acquises :
