2007-11-22

L’un des défis majeurs en programmation par contraintes est de proposer des approches génériques efficaces pour la résolution de problèmes de satisfaction de contraintes. C’est dans ce sens, i.e. un contexte aussi générique que possible, que nos travaux concernant le cadre CSP (Constraint Satisfaction Problem) ont été menés ces dernières années. En particulier, la plus grande partie des résultats que nous avons obtenus depuis 2003 sont exploitables quelle que soit la nature du problème à traiter et le type des contraintes impliquées. Pour cette habilitation, nous proposons une synthèse de nos travaux sur les cinq dernières années en les structurant autour de quatre thèmes principaux : représentation, inférence, recherche et apprentissage (learning). De façon transversale, nous soulignons notre recherche continue de simplicité.

Composition du jury

Rapporteurs

  • Christian Bessière (Directeur de Recherches CNRS) - LIRMM Montpellier
  • Thomas Schiex (Directeur de Recherches INRA) - MIA Toulouse
  • Richard J. Wallace (Researcher) - 4C Cork

Examinateurs

  • Jean-Paul Delahaye (Professeur des Universités) - LIFL Lille
  • Eric Grégoire (Professeur des Universités) - CRIL Lens
  • Narendra Jussien (Maître assistant, HDR) - EMN Nantes
  • Gérard Verfaillie (Maître de Recherches) - ONERA Toulouse