2 search results - page 1 / 1 » Collapsibility in Infinite-Domain Quantified Constraint Sati... |
CSL
2006
Springer
13 years 8 months ago
2006
Springer
In this article, we study the quantified constraint satisfaction problem (QCSP) over infinite domains. We develop a technique called collapsibility that allows one to give strong c...
AAAI
2004
13 years 5 months ago
2004
The concept of consistency has pervaded studies of the constraint satisfaction problem. We introduce two concepts, which are inspired by consistency, for the more general framewor...