A Proof Of The Algebraic Tractability Conjecture For Monotone Monadic Snp | 1 | 0.35 | 2021 |
A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP. | 1 | 0.35 | 2018 |
Quantified Constraints and Containment Problems | 9 | 0.67 | 2013 |
The Complexity of Positive First-Order Logic without Equality | 6 | 0.62 | 2012 |
Containment, equivalence and coreness from CSP to QCSP and beyond | 2 | 0.41 | 2012 |
A Tetrachotomy for Positive First-Order Logic without Equality | 6 | 0.49 | 2011 |
Node-to-Node Disjoint Paths in k-ary n-cubes with Faulty Edges | 0 | 0.34 | 2011 |
On the containment of forbidden patterns problems | 0 | 0.34 | 2010 |
Constraint Satisfaction, Logic and Forbidden Patterns | 13 | 0.58 | 2007 |
Hierarchies in Fragments of Monadic Strict NP | 0 | 0.34 | 2007 |
Towards a trichotomy for quantified H-coloring | 16 | 0.81 | 2006 |
Bounded-degree forbidden patterns problems are constraint satisfaction problems | 0 | 0.34 | 2006 |
Universal structures and the logic of forbidden patterns | 3 | 0.39 | 2006 |
Dichotomies for classes of homomorphism problems involving unary functions | 13 | 0.68 | 2004 |