GT Contraintes
contraintes, ro et IA
Responsables
- Arnaud Malapert (I3S, Université Côte d’Azur)
- Margaux Nattaf (G-SCOP, INP Grenoble)
- Marie Pelleau (I3S, Université Côte d’Azur)
- Gilles Simonin (IMT Atlantique, Nantes)
- Christine Solnon (INSA Lyon)
Thématiques et objectifs
Ce groupe de travail étudie la résolution de problèmes de contraintes sous différents angles, considérant et contrastant des méthodes issus de la recherche opérationnelle (RO) et l’intelligence artificielle tels que : la programmation par contraintes, les solveurs SAT, la recherche locale, les métaheuristiques, et la programmation mathématique. C’est justement la combinaison de différentes approches qui a permis des avancées parfois spectaculaires sur la résolution de problèmes particulièrement difficiles.