Quantification restreinte : vers une utilisation pratique des QCSP
| Autor: | Benedetti, Marco, Lallouet, Arnaud, Vautard, Jeremie |
|---|---|
| Přispěvatelé: | Soliman, Sylvain, Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Ecole Nationale Supérieure d'Ingénieurs de Bourges-Université d'Orléans (UO) |
| Jazyk: | francouzština |
| Rok vydání: | 2007 |
| Předmět: | |
| Zdroj: | Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07) Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, INRIA, Domaine de Voluceau, Rocquencourt, Yvelines France |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|