Time Complexity of Constraint Satisfaction via Universal Algebra (Q5111231): Difference between revisions

@@ label / en / label / en @@
+Time Complexity of Constraint Satisfaction via Universal Algebra
@@ Property / DOI @@
-.4230/LIPIcs.MFCS.2017.17
@@ Property / DOI: 10.4230/LIPIcs.MFCS.2017.17 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.05902
@@ Property / arXiv ID: 1706.05902 / rank @@
+Normal rank
@@ Property / cites work @@
+The algebraic dichotomy conjecture for infinite domain Constraint Satisfaction Problems
+Normal rank
@@ Property / cites work @@
+Give Me Another One!
@@ Property / cites work: Give Me Another One! / rank @@
+Normal rank
@@ Property / cites work @@
+As Close as It Gets
@@ Property / cites work: As Close as It Gets / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Phylogeny Constraint Satisfaction
+Normal rank
@@ Property / cites work @@
+The complexity of temporal constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Schaefer's Theorem for Graphs
@@ Property / cites work: Schaefer's Theorem for Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411838
@@ Property / cites work: Q4411838 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of conservative constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Q5389338
@@ Property / cites work: Q5389338 / rank @@
+Normal rank
@@ Property / cites work @@
+Classifying the Complexity of Constraints Using Finite Algebras
+Normal rank
@@ Property / cites work @@
+Complexity Classifications for Logic-Based Argumentation
+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 @@
+The Structure of Tractable Constraint Satisfaction Problems
+Normal rank
@@ Property / cites work @@
+Gap theorems for robust satisfiability: Boolean CSPs and beyond
+Normal rank
@@ Property / cites work @@
+-SAT Faster and Simpler---Unique-SAT Bounds for PPSZ Hold in General
+Normal rank
@@ Property / cites work @@
+On the complexity of \(k\)-SAT
@@ Property / cites work: On the complexity of \(k\)-SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Which problems have strongly exponential complexity?
+Normal rank
@@ Property / cites work @@
+On the algebraic structure of combinatorial problems
+Normal rank
@@ Property / cites work @@
+Closure properties of constraints
@@ Property / cites work: Closure properties of constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Strong partial clones and the time complexity of SAT problems
+Normal rank
@@ Property / cites work @@
+Time Complexity of Constraint Satisfaction via Universal Algebra
+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 @@
+Q3184605
@@ Property / cites work: Q3184605 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4843187
@@ Property / cites work: Q4843187 / rank @@
+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 @@
+A Proof of the CSP Dichotomy Conjecture
@@ Property / cites work: A Proof of the CSP Dichotomy Conjecture / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2705838778
@@ Property / OpenAlex ID: W2705838778 / rank @@
+Normal rank
@@ Property / title @@
+Time Complexity of Constraint Satisfaction via Universal Algebra (English)
+Normal rank
@@ Property / DOI @@
+.4230/LIPICS.MFCS.2017.17
@@ Property / DOI: 10.4230/LIPICS.MFCS.2017.17 / rank @@
+Normal rank