BlockSolve : une approche bottom-up des QCSP

Résumé : Les problèmes de satisfaction de contraintes quantifiées (QCSP) sont une généralisation des problèmes de satisfaction de contraintes (CSP), dans lesquels chaque variable est quantifiée soit existentiellement, soit universellement. Ce type de problème s'inscrit notamment dans le domaine de la planification de tâches en présence de l'incertain. Les méthodes existantes de résolution de QCSP parcourent l'arbre de recherche dans l'ordre des variables du problème. Ces méthodes utilisent des généralisations des méthodes de propagation de contraintes pour les QCSP. Nous présentons BlockSolve, un algorithme de résolution de QCSP qui factorise les branches de l'arbre de recherche en blocs, et qui n'utilise que des méthodes de propagation des CSP classiques.
Type de document :
Communication dans un congrès
JFPC'06: Journées Francophones de Programmation par Contraintes, Jun 2006, pp.337-346, 2006
Liste complète des métadonnées

Littérature citée [10 références]  Voir  Masquer  Télécharger

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00153669
Contributeur : Guillaume Verger <>
Soumis le : lundi 11 juin 2007 - 15:20:53
Dernière modification le : jeudi 24 mai 2018 - 15:59:23
Document(s) archivé(s) le : jeudi 8 avril 2010 - 19:35:45

Identifiants

  • HAL Id : lirmm-00153669, version 1

Collections

Citation

Guillaume Verger, Christian Bessière. BlockSolve : une approche bottom-up des QCSP. JFPC'06: Journées Francophones de Programmation par Contraintes, Jun 2006, pp.337-346, 2006. 〈lirmm-00153669〉

Partager

Métriques

Consultations de la notice

251

Téléchargements de fichiers

102