QCSP Made Practical by Virtue of Restricted Quantification

Established

38
Citations
16
Refs
2007
Year
Search Works
Work Details
  • OpenAlex ID W94279159
  • Type Article
  • Language EN
  • Published 01 Jan 2007
  • Pages 38–43
  • FWCI 7.50
  • Countries 1
  • Institutions 1
  • Added 24 Jun 2016
  • Updated 28 Oct 2026
External Links
OpenAlex Record Publisher Page
MENU
0

QCSP Made Practical by Virtue of Restricted Quantification

Article 2007 EN

The QCSP + language we introduce extends the framework of Quantified Constraint Satisfaction Problems (QCSPs) by enabling us to neatly express restricted quantifications via a chain of nested CSPs to be interpreted as alternately conjuncted and disjuncted. Restricted quantifiers turn out to be a convenient solution to the crippling modeling issues we encounter in QCSP and—surprisingly— they help t…

38

Citations

16

References

3

Authors

7.50

FWCI

Citations by Year
Last 8 years
Topics
Keywords
Authors & Affiliations
3 authors
#AuthorInstitutionsORCID
1 Marco Benedetti Laboratoire d'Informatique Fon… (FR) —
2 Arnaud Lallouet Laboratoire d'Informatique Fon… (FR)
3 Jérémie Vautard Laboratoire d'Informatique Fon… (FR) —
Related Works
10

Data: OpenAlex