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


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