Adapter le niveau de consistance locale pendant la recherche
Encadrants : (Christian Bessiere, Frederic Koriche)
LIRMM/COCONUT
Pré-requis : Programmation par contraintes, Algorithmique combinatoire (conseillé), Complexité avancée (conseillé)
Parcours : I2A
La programmation par contraintes est forte de nombreuses techniques de simplification du problème, appelées consistances locales. Jusqu'aujourd'hui, l'arc consistance est la seule ou presque de ces consistances locales à être utilisée dans les solveurs. Les premiers travaux, très récents, où l'on propose de panacher plusieurs niveaux de consistance locale pendant la recherche sont prometteurs. Mais ces travaux n'utilisent pas de technique d'apprentissage pour s'adapter automatiquement à l'instance à résoudre. Ce stage de recherche se propose d'utiliser des techniques d'apprentissage automatique (apprentissage 'online') avant ou pendant la recherche de solutions dans un problème à contraintes pour décider quel niveau de filtrage appliquer sur quelles contraintes, quelles variables et à quel moment.