Gap theorems for robust satisfiability: Boolean CSPs and beyond (Q527405): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2605361762
@@ Property / OpenAlex ID: W2605361762 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.09574
@@ Property / arXiv ID: 1610.09574 / rank @@
+Normal rank
@@ Property / cites work @@
+THE CONSTRAINT SATISFACTION PROBLEM AND UNIVERSAL ALGEBRA
+Normal rank
@@ Property / cites work @@
+Constraint Satisfaction Problems Solvable by Local Consistency Methods
+Normal rank
@@ Property / cites work @@
+The CSP Dichotomy Holds for Digraphs with No Sources and No Sinks (A Positive Answer to a Conjecture of Bang-Jensen and Hell)
+Normal rank
@@ Property / cites work @@
+On the complexity of unfrozen problems
@@ Property / cites work: On the complexity of unfrozen problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411838
@@ Property / cites work: Q4411838 / rank @@
+Normal rank
@@ Property / cites work @@
+Classifying the Complexity of Constraints Using Finite Algebras
+Normal rank
@@ Property / cites work @@
+A dichotomy theorem for constraint satisfaction problems on a 3-element set
+Normal rank
@@ Property / cites work @@
+Complexity of conservative constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+The complexity of the counting constraint satisfaction problem
+Normal rank
@@ Property / cites work @@
+On generating all solutions of generalized satisfiability problems
+Normal rank
@@ Property / cites work @@
+Structure identification of Boolean relations and plain bases for co-clones
+Normal rank
@@ Property / cites work @@
+Frozen development in graph coloring
@@ Property / cites work: Frozen development in graph coloring / rank @@
+Normal rank
@@ Property / cites work @@
+THE LATTICE OF ALTER EGOS
@@ Property / cites work: THE LATTICE OF ALTER EGOS / 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 @@
+Closed systems of functions and predicates
@@ Property / cites work: Closed systems of functions and predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Q5459443
@@ Property / cites work: Q5459443 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity and polymorphisms for digraph constraint problems under some basic constructions
+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 @@
+Universal algebra and hardness results for constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Determining computational complexity from characteristic ‘phase transitions’
+Normal rank
@@ Property / cites work @@
+The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
+Normal rank
@@ Property / cites work @@
+The algebras of partial functions and their invariants
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability problems
@@ Property / cites work: The complexity of satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+Partial Polymorphisms and Constraint Satisfaction Problems
+Normal rank
@@ Property / cites work @@
+Dichotomy on intervals of strong partial Boolean clones
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:527405