Acronyme : «acronyme»

Répartition hebdomadaire ou semestrielle

(CM: 20h)(TD/TME 10h)

Contenu Former à la modélisation et à la résolution des problèmes de satisfaction de contraintes (CSP), notamment aux approches heuristiques, aux techniques et aux langages de programmation par contraintes. Ces outils et langages permettent de résoudre des problèmes industriels difficiles dans des domaines très variés tels que la planification et l'ordonnacement de tâches, la gestion et l'allocation de ressources.

Expérience du responsable dans le domaine de l’UE Depuis la création du DESS IA en 1985 : enseignement de la résolution de problèmes et des langages de programmation par contraintes (Alice, Charme, Pécos, Prolog III, puis Ilog Solver, OPL Studio et CHOCO), encadrement de projets de fin d’études (résolution dans un langage de programmation par contraintes de problèmes industriels simplifiés), encadrement scientifique de stages. Membre de la Société Française de Recherche Opérationnelle et d’Aide à la Décision (ROADEF) et de l’Association Française de Programmation par Contraintes (AFPC).