No. Title Author Year
1 How Many Variables Are Needed to Express an Existential Positive Query? Bova, Simone et al. 2017
2 Proof Complexity Modulo the Polynomial Hierarchy: Understanding Alternation as a Source of Hardness Chen, Hubie 2016
3 Quantified Constraint Satisfaction on Monoids Chen, Hubie et al. 2016
4 A Trichotomy in the Complexity of Counting Answers to Conjunctive Queries Chen, Hubie et al. 2015
5 Parameter Compilation Chen, Hubie 2015
6 On the Expression Complexity of Equivalence and Isomorphism of Primitive Positive Formulas Valeriote, Matt et al. 2010
7 Constraint Satisfaction with Succinctly Specified Relations Chen, Hubie et al. 2006
Current Page :
Number of result pages: 1
Number of documents: 7

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI