THE CONSTRAINT SATISFACTION PROBLEM AND UNIVERSAL ALGEBRA (Q2795309): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1017/bsl.2015.25
+Normal rank
@@ Property / OpenAlex ID @@
+W2285982983
@@ Property / OpenAlex ID: W2285982983 / rank @@
+Normal rank
@@ Property / cites work @@
+Closed systems of functions and predicates
@@ Property / cites work: Closed systems of functions and predicates / 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 @@
+Computational Complexity
@@ Property / cites work: Computational Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+An Effective Dichotomy for the Counting Constraint Satisfaction Problem
+Normal rank
@@ Property / cites work @@
+An Algebraic Theory of Complexity for Discrete Optimization
+Normal rank
@@ Property / cites work @@
+Meditations on Quantified Constraint Satisfaction
@@ Property / cites work: Meditations on Quantified Constraint Satisfaction / rank @@
+Normal rank
@@ Property / cites work @@
+CD(4) has bounded width
@@ Property / cites work: CD(4) has bounded width / rank @@
+Normal rank
@@ Property / cites work @@
+Structure and importance of logspace-MOD class
@@ Property / cites work: Structure and importance of logspace-MOD class / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties Obeying Homotopy Laws
@@ Property / cites work: Varieties Obeying Homotopy Laws / rank @@
+Normal rank
@@ Property / cites work @@
+Closure properties of constraints
@@ Property / cites work: Closure properties of constraints / rank @@
+Normal rank
@@ Property / cites work @@
+On the algebraic structure of combinatorial problems
+Normal rank
@@ Property / cites work @@
+Nondeterministic Space is Closed under Complementation
+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 method of forced enumeration for nondeterministic automata
+Normal rank
@@ Property / cites work @@
+A strong Mal'cev condition for locally finite varieties omitting the unary type
+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 @@
+Classifying the Complexity of Constraints Using Finite Algebras
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+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 @@
+Existence theorems for weakly symmetric operations
+Normal rank
@@ Property / cites work @@
+Bounded width problems and algebras
@@ Property / cites work: Bounded width problems and algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Universal algebra and hardness results for constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+On the Structure of Polynomial Time Reducibility
@@ Property / cites work: On the Structure of Polynomial Time Reducibility / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties with few subalgebras of powers
@@ Property / cites work: Varieties with few subalgebras of powers / rank @@
+Normal rank