8 citations · 9 across the 3 of their papers we have counts for
3 papers
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…
cs.LO2004
A Coalgebraic Approach to Kleene Algebra with Tests
Hubie Chen, Riccardo Pucella
Kleene algebra with tests is an extension of Kleene algebra, the algebra of regular expressions, which can be used to reason about programs. We develop a coalgebraic theory of Klee…