2014
-
Javier Albors, Marisa Navarro. SpecSatisfiabilityTool: A tool for testing the satisfiability of specifications on XML documents. PROLE 2014: 27-40
-
Simone Bova, Hubie Chen. The Complexity of Width Minimization for Existential Positive Queries. ICDT 2014: 235-244
-
Manuel Bodirsky, Hubie Chen, Michal Wrona. Tractability of quantified temporal constraints to the max. IJAC 24(8): 1141-1156
-
Hubie Chen. Beyond Q-Resolution and Prenex Form: A Proof System for Quantified Constraint Satisfaction. Logical Methods in Computer Science 10(4)
-
Hubie Chen. On the complexity of existential positive queries. ACM Trans. Comput. Log. 15(1): 9
-
Hubie Chen. The tractability frontier of graph-like first-order query sets. CSL-LICS 2014: 31:1-31:9
-
Hubie Chen, Moritz Müller. One hierarchy spawns another: graph deconstructions and the complexity classification of conjunctive queries. CSL-LICS 2014: 32:1-32:10
-
Marisa Navarro, Fernando Orejas. A refutation procedure for proving satisfiability of constraint specifications on XML documents. SCSS 2014: 47-61