 |
Université d'Orléans |  |
|
Université d'Orléans | |
| HAL: inria-00151064, version 1 |
| See detailed view |  BibTeX,EndNote,... |
 |
| 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 1Arnaud Lallouet 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 |
|
|
|
|
|
|
|
|
|
| Domain | : | Computer Science/Programming Languages |
|
|
| Attached file list to this document: | |||||
|
|||||
|
|
|
| inria-00151064, version 1 | |
| http://hal.inria.fr/inria-00151064 | |
| oai:hal.inria.fr:inria-00151064 | |
| From: Sylvain Soliman | |
| Submitted on: Friday, 1 June 2007 15:20:35 | |
| Updated on: Friday, 1 June 2007 15:35:17 | |
