BlockSolve : une approche bottom-up des QCSP - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year :

BlockSolve : une approche bottom-up des QCSP

Abstract

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.
Fichier principal
Vignette du fichier
26.pdf (248.48 Ko) Télécharger le fichier
Loading...

Dates and versions

inria-00085794 , version 1 (14-07-2006)

Identifiers

  • HAL Id : inria-00085794 , version 1

Cite

Guillaume Verger, Christian Bessiere. BlockSolve : une approche bottom-up des QCSP. JFPC 2006 - 2e Journées Francophones de Programmation par Contraintes, Jun 2006, Nîmes, France. ⟨inria-00085794⟩
261 View
111 Download

Share

Gmail Facebook Twitter LinkedIn More