Etude des Niveaux de Cohérence Pour les Problèmes de Satisfaction des Contraintes

par Robert Woodward

Projet de thèse en Informatique

Sous la direction de Christian Bessière et de Berthe Choueiry.

Thèses en préparation à Montpellier en cotutelle avec l'University of Nebraska-Lincoln , dans le cadre de École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) , en partenariat avec Laboratoire d'Informatique, Robotique et Micro-électronique de Montpellier (laboratoire) et de Département Informatique (equipe de recherche) depuis le 09-12-2013 .


  • Résumé

    Les propriétés de consistance d'un problème de satisfaction des contraintes (CSP) et les algorithmes pour établir ces propriétés sur une instance d'un CSP sont au coeur des techniques poursuivies en Programmation des Contraintes (CP) pour résoudre les problèmes combinatoires difficiles avec des contraintes arbitraires. Nous montrons que l'utilisation de consistances élevées avant et durant la recherche enumerative arborescente est non-seulement faisable mais surtout avantageuse. Nous montrons comment sélectionner automatiquement le bon niveau de consistance a enforcer et comment adapter ce niveau a la structure topologique du réseau de contraintes et a la sémantique des contraintes.

  • Titre traduit

    High-Level Consistency for Constraint Satisfaction Problems


  • Résumé

    Consistency properties and algorithms are at the heart of modern techniques for solving complex combinatorial problems under arbitrary constraints. We argue that enforcing high-level consistency before and during problem solving is feasible and advantageous. We show how to automatically select and adapt the consistency level to the structure of the problem and the semantics of the constraints.