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 <>
Submitted on : Friday, July 14, 2006 - 11:26:52 AM
Last modification on : Monday, February 15, 2021 - 10:56:05 AM
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

206

Files downloads

126