BlockSolve : une approche bottom-up des QCSP - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

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

Dates et versions

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

Identifiants

  • HAL Id : inria-00085794 , version 1

Citer

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⟩
264 Consultations
115 Téléchargements

Partager

Gmail Facebook X LinkedIn More