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
Type de document :
Communication dans un congrès
JFPC - huitièmes Journées Francophones de Programmation par Contraintes - 2012, May 2012, Toulouse, France. 2012
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00819284
Contributeur : Igor Stéphan <>
Soumis le : mercredi 1 mai 2013 - 14:59:19
Dernière modification le : mercredi 21 février 2018 - 15:48:03
Document(s) archivé(s) le : vendredi 2 août 2013 - 02:50:08

Fichier

jfpc12.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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. 2012. 〈hal-00819284〉

Partager

Métriques

Consultations de la notice

159

Téléchargements de fichiers

51