Quantification restreinte : vers une utilisation pratique des QCSP

Résumé : Dans ce papier, nous introduisons le langage QCSP+ qui étend le cadre des QCSP et permet d'exprimer le concept de quantification restreinte via une chaîne de CSP interprétés alternativement de manière conjonctive et disjonctive. La quantification restreinte apparaît comme une solution confortable aux problèmes de modélisation des QCSP et aide, étonnamment, à réutiliser les techniques de propagation et à élaguer l'espace de recherche. Nous présentons notre solveur de QCSP+, qui est capable de traiter les contraintes arithmétiques et des contraintes globales, et possède des performances comparables avec l'état de l'art.
Type de document :
Communication dans un congrès
Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, INRIA, Domaine de Voluceau, Rocquencourt, Yvelines France, 2007, JFPC07
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00151064
Contributeur : Sylvain Soliman <>
Soumis le : vendredi 1 juin 2007 - 15:20:35
Dernière modification le : mercredi 29 novembre 2017 - 10:19:27
Document(s) archivé(s) le : vendredi 21 septembre 2012 - 16:06:44

Fichier

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

Identifiants

  • HAL Id : inria-00151064, version 1

Collections

Citation

Marco Benedetti, Arnaud Lallouet, Jeremie Vautard. Quantification restreinte : vers une utilisation pratique des QCSP. Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, INRIA, Domaine de Voluceau, Rocquencourt, Yvelines France, 2007, JFPC07. 〈inria-00151064〉

Partager

Métriques

Consultations de la notice

134

Téléchargements de fichiers

238