Résumé:

La Programmation Par Contraintes est une discipline à la croisée de l'Intelligence Artificielle et de la Recherche Opérationnelle. On la retrouve dans de nombreuses applications d'ordonnancement et de planification, pour son caractère à la fois générique et performant. Néanmoins, le passage à l'échelle de telles approches pose parfois problème.

Dans cet exposé, j'ai présenté quelques travaux de ma thèse, intitulée Exploitation de structures de graphe en programmation par contraintes. Le but de la thèse était double : mieux traiter les problèmes de graphe en PPC et améliorer les solveurs de contraintes grâce à des raisonnements de graphe. Cet exposé étant principalement destiné aux jeunes chercheurs, j'ai présenté également quelques éléments méthodologiques et points marquants de la thèse.