Simon de Givry et Nathalie Rousse (Séminaire interne, équipe SaAB)
Nous montrons comment un problème d’optimisation sous contraintes peut se modéliser sous forme d’un réseau de fonctions de coûts. Après avoir introduit ce cadre de modélisation par rapport à d’autres cadres existants, nous prenons comme exemple le problème de conception d’un emploi du temps dans une université. Partant d’une précédente modélisation en programmation par contraintes, nous décrivons sa modélisation en un réseau de fonctions de coût. Nous introduisons ensuite le solveur toulbar2 développé en partie dans l’équipe SaAB et présentons des résultats comparatifs préliminaires sur le problème d’emploi du temps. En terme de mise en oeuvre, nous présenterons la manière dont nous utilisons des services web pour lancer des résolutions de ce problème, et nous évoquerons des cas d’utilisation de services web autour de toulbar2 auxquels nous réfléchissons.