The following pages link to Schaefer's Theorem for Graphs (Q2796406):
Displaying 30 items.
- Distance constraint satisfaction problems (Q259047) (← links)
- Reducts of the random partial order (Q462283) (← links)
- Permutations on the random permutation (Q491556) (← links)
- Reducts of the Henson graphs with a constant (Q526969) (← links)
- Polymorphism clones of homogeneous structures: gate coverings and automatic homeomorphicity (Q1652867) (← links)
- Circuit satisfiability and constraint satisfaction around Skolem arithmetic (Q1676359) (← links)
- The wonderland of reflections (Q1709740) (← links)
- Minimal functions on the random graph (Q2017162) (← links)
- Permutation groups with small orbit growth (Q2037519) (← links)
- The complete set of minimal simple graphs that support unsatisfiable 2-CNFs (Q2192070) (← links)
- Permutation monoids and MB-homogeneity for graphs and relational structures (Q2422220) (← links)
- Schaefer's Theorem for Graphs (Q2796406) (← links)
- Reconstructing the topology of clones (Q2960444) (← links)
- Circuit Satisfiability and Constraint Satisfaction Around Skolem Arithmetic (Q3188272) (← links)
- Constraint Satisfaction Problems over the Integers with Successor (Q3448790) (← links)
- A Dichotomy for First-Order Reducts of Unary Structures (Q4643958) (← links)
- (Q4643959) (← links)
- Equations in oligomorphic clones and the constraint satisfaction problem for ω-categorical structures (Q4973030) (← links)
- Quantified Constraints in Twenty Seventeen (Q4993605) (← links)
- PROJECTIVE CLONE HOMOMORPHISMS (Q5000252) (← links)
- (Q5005133) (← links)
- When Symmetries Are Not Enough: A Hierarchy of Hard Constraint Satisfaction Problems (Q5067445) (← links)
- (Q5089260) (← links)
- (Q5094139) (← links)
- Time Complexity of Constraint Satisfaction via Universal Algebra (Q5111231) (← links)
- 𝜔-categorical structures avoiding height 1 identities (Q5141754) (← links)
- Topology Is Irrelevant (In a Dichotomy Conjecture for Infinite Domain Constraint Satisfaction Problems) (Q5222129) (← links)
- Constraint Satisfaction Problems for Reducts of Homogeneous Graphs (Q5232325) (← links)
- (Q5419136) (redirect page) (← links)
- The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom (Q5870532) (← links)
