Recent Results on the Algebraic Approach to the CSP (Q5504700): Difference between revisions

@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2005
@@ Property / cites work: Mathematical Foundations of Computer Science 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties with few subalgebras of powers
@@ Property / cites work: Varieties with few subalgebras of powers / rank @@
+Normal rank
@@ Property / cites work @@
+The set of types of a finitely generated variety
@@ Property / cites work: The set of types of a finitely generated variety / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial interpolation and the Chinese remainder theorem for algebraic systems
+Normal rank
@@ Property / cites work @@
+Combinatorial problems raised from 2-semilattices
@@ Property / cites work: Combinatorial problems raised from 2-semilattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q4407431
@@ Property / cites work: Q4407431 / rank @@
+Normal rank
@@ Property / cites work @@
+\(H\)-coloring dichotomy revisited
@@ Property / cites work: \(H\)-coloring dichotomy revisited / rank @@
+Normal rank
@@ Property / cites work @@
+A dichotomy theorem for constraint satisfaction problems on a 3-element set
+Normal rank
@@ Property / cites work @@
+A Simple Algorithm for Mal'tsev Constraints
@@ Property / cites work: A Simple Algorithm for Mal'tsev Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Classifying the Complexity of Constraints Using Finite Algebras
+Normal rank
@@ Property / cites work @@
+Affine Systems of Equations and Counting Infinitary Logic
+Normal rank
@@ Property / cites work @@
+Dualities for Constraint Satisfaction Problems
@@ Property / cites work: Dualities for Constraint Satisfaction Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+The expressive rate of constraints
@@ Property / cites work: The expressive rate of constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Q2782447
@@ Property / cites work: Q2782447 / rank @@
+Normal rank
@@ Property / cites work @@
+A new tractable class of constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Tractable Clones of Polynomials over Semigroups
@@ Property / cites work: Tractable Clones of Polynomials over Semigroups / 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 @@
+On the complexity of H-coloring
@@ Property / cites work: On the complexity of H-coloring / rank @@
+Normal rank
@@ Property / cites work @@
+The structure of finite algebras
@@ Property / cites work: The structure of finite algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Tractability and Learnability Arising from Algebras with Few Subpowers
+Normal rank
@@ Property / cites work @@
+On the algebraic structure of combinatorial problems
+Normal rank
@@ Property / cites work @@
+Constraints, consistency and closure
@@ Property / cites work: Constraints, consistency and closure / rank @@
+Normal rank
@@ Property / cites work @@
+Closure properties of constraints
@@ Property / cites work: Closure properties of constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Constraints and universal algebra
@@ Property / cites work: Constraints and universal algebra / rank @@
+Normal rank
@@ Property / cites work @@
+A Characterisation of First-Order Constraint Satisfaction Problems
+Normal rank
@@ Property / cites work @@
+Universal Algebra and Hardness Results for Constraint Satisfaction Problems
+Normal rank
@@ Property / cites work @@
+Bounded width problems and algebras
@@ Property / cites work: Bounded width problems and algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Few subpowers, congruence distributivity and near-unanimity terms
+Normal rank
@@ Property / cites work @@
+Q3751631
@@ Property / cites work: Q3751631 / rank @@
+Normal rank
@@ Property / cites work @@
+Existence theorems for weakly symmetric operations
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability problems
@@ Property / cites work: The complexity of satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3739181
@@ Property / cites work: Q3739181 / rank @@
+Normal rank
@@ Property / cites work @@
+A Subalgebra Intersection Property for Congruence Distributive Varieties
+Normal rank