Cosling est intervenu lors des Journées Franciliennes de Recherche Opérationnelle pour partager son expertise en Programmation Par Contraintes.
Résumé: la programmation par contraintes est une technique de résolution de problèmes reposant principalement sur les concepts de filtrage et d'exploration. Cet exposé propose une introduction aux principales techniques d'exploration d'un espace de recherche, dans le but de susciter de nouvelles contributions mêlant RO et IA. Nous présenterons des heuristiques génériques et métiers ainsi que des hybridations avec des recherches locales. Nous illustrerons ces concepts au travers d'exemples basés sur le solveur Choco, qui est avant tout un framework d'intégration d'algorithmes pour les communautés RO et IA.
Résumé: la programmation par contraintes est une technique de résolution de problèmes reposant principalement sur les concepts de filtrage et d'exploration. Cet exposé propose une introduction aux principales techniques d'exploration d'un espace de recherche, dans le but de susciter de nouvelles contributions mêlant RO et IA. Nous présenterons des heuristiques génériques et métiers ainsi que des hybridations avec des recherches locales. Nous illustrerons ces concepts au travers d'exemples basés sur le solveur Choco, qui est avant tout un framework d'intégration d'algorithmes pour les communautés RO et IA.
le 23 septembre 2015
