Quantification restreinte : vers une utilisation pratique des QCSP - Archive ouverte HAL Access content directly
Conference Papers Year : 2007

Quantification restreinte : vers une utilisation pratique des QCSP

Abstract

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.
Fichier principal
Vignette du fichier
62.pdf (393.17 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

inria-00151064 , version 1 (01-06-2007)

Identifiers

  • HAL Id : inria-00151064 , version 1

Cite

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. ⟨inria-00151064⟩
64 View
164 Download

Share

Gmail Mastodon Facebook X LinkedIn More