A Proof of the Algebraic Tractability Conjecture for Monotone Monadic SNP (Q4957913): Difference between revisions

@@ Property / cites work @@
+Q5144675
@@ Property / cites work: Q5144675 / rank @@
+Normal rank
@@ Property / cites work @@
+Absorbing Subalgebras, Cyclic Terms, and the Constraint Satisfaction Problem
+Normal rank
@@ Property / cites work @@
+The wonderland of reflections
@@ Property / cites work: The wonderland of reflections / rank @@
+Normal rank
@@ Property / cites work @@
+The algebraic dichotomy conjecture for infinite domain Constraint Satisfaction Problems
+Normal rank
@@ Property / cites work @@
+Topology Is Irrelevant (In a Dichotomy Conjecture for Infinite Domain Constraint Satisfaction Problems)
+Normal rank
@@ Property / cites work @@
+Cores of Countably Categorical Structures
@@ Property / cites work: Cores of Countably Categorical Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Datalog and constraint satisfaction with infinite templates
+Normal rank
@@ Property / cites work @@
+Q5109509
@@ Property / cites work: Q5109509 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction
+Normal rank
@@ Property / cites work @@
+A Model-Theoretic View on Qualitative Constraint Reasoning
+Normal rank
@@ Property / cites work @@
+Reducts of finitely bounded homogeneous structures, and lifting tractability from finite-domain constraint satisfaction
+Normal rank
@@ Property / cites work @@
+𝜔-categorical structures avoiding height 1 identities
+Normal rank
@@ Property / cites work @@
+Constraint Satisfaction with Countable Homogeneous Templates
+Normal rank
@@ Property / cites work @@
+PROJECTIVE CLONE HOMOMORPHISMS
@@ Property / cites work: PROJECTIVE CLONE HOMOMORPHISMS / rank @@
+Normal rank
@@ Property / cites work @@
+\(H\)-coloring dichotomy revisited
@@ Property / cites work: \(H\)-coloring dichotomy revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Classifying the Complexity of Constraints Using Finite Algebras
+Normal rank
@@ Property / cites work @@
+Q3995219
@@ Property / cites work: Q3995219 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal graphs with forbidden subgraphs and algebraic closure
+Normal rank
@@ Property / cites work @@
+Monotone monadic SNP and constraint satisfaction
@@ Property / cites work: Monotone monadic SNP and constraint satisfaction / rank @@
+Normal rank
@@ Property / cites work @@
+The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory
+Normal rank
@@ Property / cites work @@
+Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics (Invited Talk).
+Normal rank
@@ Property / cites work @@
+Universal Structures with Forbidden Homomorphisms
@@ Property / cites work: Universal Structures with Forbidden Homomorphisms / rank @@
+Normal rank
@@ Property / cites work @@
+All those Ramsey classes (Ramsey classes with closures and forbidden homomorphisms)
+Normal rank
@@ Property / cites work @@
+Fraïssé limits, Ramsey theory, and topological dynamics of automorphism groups
+Normal rank
@@ Property / cites work @@
+Constraints, MMSNP and expander relational structures
+Normal rank
@@ Property / cites work @@
+A Characterisation of First-Order Constraint Satisfaction Problems
+Normal rank
@@ Property / cites work @@
+On the Relationship between Consistent Query Answering and Constraint Satisfaction Problems
+Normal rank
@@ Property / cites work @@
+Universal Structures and the logic of Forbidden Patterns
+Normal rank
@@ Property / cites work @@
+Constraint Satisfaction, Logic and Forbidden Patterns
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1137/19m128466x
+Normal rank
@@ Property / OpenAlex ID @@
+W3195027657
@@ Property / OpenAlex ID: W3195027657 / rank @@
+Normal rank