Skip to Main content Skip to Navigation
Conference papers

Compilation des QCSP

Résumé : Nous proposons dans cet article un cadre formel pour la compilation des problèmes de satisfaction de contraintes quantifiées (QCSP). L'objectif d'une telle compilation est de répondre au problème du choix du prochain mouvement de manière polynomiale en temps même lorsque la solution courante n'est plus accessible. Nous établissons la sémantique de ce formalisme en terme d'interprétation en un QCSP. Nous en étudions les propriétés en particulier vis-à-vis du QCSP compilé. Nous spécifions deux algorithmes de compilation basés sur un algorithme de recherche. Le premier est imbriqué dans l'algorithme de recherche et reprend la structure inductive de la sémantique des QCSP ; le second est un analyseur de trace d'exécution d'un solveur QCSP.
keyword : QCSP compilation
Document type :
Conference papers
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download

https://hal.inria.fr/hal-00819284
Contributor : Igor Stéphan <>
Submitted on : Wednesday, May 1, 2013 - 2:59:19 PM
Last modification on : Monday, June 1, 2020 - 4:54:02 PM
Long-term archiving on: : Friday, August 2, 2013 - 2:50:08 AM

File

jfpc12.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00819284, version 1

Collections

Citation

Igor Stéphan. Compilation des QCSP. JFPC - huitièmes Journées Francophones de Programmation par Contraintes - 2012, May 2012, Toulouse, France. ⟨hal-00819284⟩

Share

Metrics

Record views

217

Files downloads

390