HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadata

Cited literature [10 references]  Display  Hide  Download

https://hal.inria.fr/inria-00085794
Contributor : Laurent Henocque Connect in order to contact the contributor
Submitted on : Friday, July 14, 2006 - 11:26:52 AM
Last modification on : Friday, October 22, 2021 - 3:07:33 PM
Long-term archiving on: : Monday, April 5, 2010 - 9:52:00 PM

File

Identifiers

  • HAL Id : inria-00085794, version 1

Collections

Citation

Guillaume Verger, Christian Bessière. BlockSolve : une approche bottom-up des QCSP. 2èmes Journées Francophones de Programmation par Contraintes (JFPC 2006), Jun 2006, Nîmes, France. ⟨inria-00085794⟩

Share

Metrics

Record views

245

Files downloads

108