Séminaire

La programmation par contraintes est un ensemble de formalismes et d'algorithmes permettant de modéliser et de résoudre des problèmes de décision et d'optimisation combinatoires. Un paradigme très répandu dans ce cadre est le problème de satisfaisabilité propositionnelle (SAT) qui consiste à vérifier si un ensemble de contraintes, sous forme clausales, peut être satisfait. Dans ce séminaire, on va tout d'abord présenter le problème SAT. Ensuite, on s'intéressera à l'utilisation du problème SAT, en concurrence ou en collaboration avec recherche opérationnelle et en particulier la programmation linéaire en nombres entiers, pour résoudre des problèmes d'ordonnancement d'ateliers (le problème SALB3PM) ou d'optimisation combinatoire (le problème Max-SAT).

Page web: https://pageperso.lis-lab.fr/matthieu.py/index.html