The following pages link to (Q5109509):
Displaying 6 items.
- The complexity of problems for quantified constraints (Q1959381) (← links)
- Tractable combinations of theories via sampling (Q2055788) (← links)
- A Proof of the Algebraic Tractability Conjecture for Monotone Monadic SNP (Q4957913) (← links)
- (Q5094139) (← links)
- The Complexity of Quantified Constraints: Collapsibility, Switchability, and the Algebraic Formulation (Q5875947) (← links)
- Complexity classification transfer for CSPs via algebraic products (Q6621744) (← links)