HAL : inria-00151064, version 1

Voir la fiche détaillée

BibTeX,EndNote,... BibTeX - EndNote - TEI - RefWorks -

Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), INRIA, Domaine de Voluceau, Rocquencourt, Yvelines France : (2007)

Quantification restreinte : vers une utilisation pratique des QCSP

Marco Benedetti 1, Arnaud Lallouet 1, Jeremie Vautard 1

(2007)

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.

1 :	Laboratoire d'Informatique Fondamentale d'Orléans (LIFO)
	Université d'Orléans : EA4022 – Ecole Nationale Supérieure d'Ingénieurs de Bourges

Domaine

:

Informatique/Langage de programmation

inria-00151064, version 1

http://hal.inria.fr/inria-00151064

oai:hal.inria.fr:inria-00151064

Contributeur : Sylvain Soliman <>

Soumis le : Vendredi 1 Juin 2007, 15:20:35

Dernière modification le : Vendredi 1 Juin 2007, 15:35:17