ROADEF 2020, Tutoriel GDR RO, 20 février 2020, Hadrien Cambazard (G-SCOP Grenoble)

Ce tutoriel présentera les principes fondamentaux de la résolution et de la modélisation en programmation par contraintes (PPC). Il est destiné à un public sans aucune connaissance préalable en PPC et peut servir à découvrir complètement ce domaine. On s’intéressera en particulier aux cohérences locales (l'arc-cohérence et la bornes-cohérence) qui seront expliquées en détail comme des propriétés des domaines des variables. On se penchera ensuite sur les algorithmes de filtrage permettant de les obtenir en essayant d'illustrer différentes techniques algorithmiques et de souligner les liens avec la recherche opérationnelle (RO). Dans une dernière partie, nous ferons le point sur le travail de modélisation en PPC en essayant de le mettre en perspective avec la modélisation en programmation linéaire.