20 citations
Showing cs.CCShow all
2 papers · 1 filter
cs.CC2005★ 1 cited
Existentially Restricted Quantified Constraint Satisfaction
Hubie Chen
The quantified constraint satisfaction problem (QCSP) is a powerful framework for modelling computational problems. The general intractability of the QCSP has motivated the pursuit…
cs.CC2005★ 8 cited
Beyond Hypertree Width: Decomposition Methods Without Decompositions
Hubie Chen, Victor Dalmau
The general intractability of the constraint satisfaction problem has motivated the study of restrictions on this problem that permit polynomial-time solvability. One major line of…