GT PC : Programmation par contraintes

Ce GT regroupe les méthodes génériques, les approches déclaratives et hybrides basées sur la programmation par contraintes. 
Il couvre les approches de programmation par contraintes, et celles inspirées des solveurs SAT. Le groupe s'intéresse notamment à la conception d'algorithmes permettant de gérer efficacement des contraintes globales, qui représentent la conjonction de contraintes simples, ainsi que l'intégration de ces algorithmes au sein de méthodes hybrides pour l’optimisation combinatoire et mixte. Ces méthodes sont à la frontière de la Recherche Opérationnelle et de l’Intelligence Artificielle et ont permis des avancées parfois spectaculaires sur la résolution de problèmes difficiles.