Acyclic orders, partition schemes and CSPs: unified hardness proofs and improved algorithms (Q2238592): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.artint.2021.103505
+Normal rank
@@ Property / OpenAlex ID @@
+W3155946679
@@ Property / OpenAlex ID: W3155946679 / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterized complexity: exponential speed-up for planar graph problems
+Normal rank
@@ Property / cites work @@
+Maintaining knowledge about temporal intervals
@@ Property / cites work: Maintaining knowledge about temporal intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Subexponential Algorithms for Unique Games and Related Problems
+Normal rank
@@ Property / cites work @@
+Correlation clustering
@@ Property / cites work: Correlation clustering / rank @@
+Normal rank
@@ Property / cites work @@
+Datalog and constraint satisfaction with infinite templates
+Normal rank
@@ Property / cites work @@
+A Model-Theoretic View on Qualitative Constraint Reasoning
+Normal rank
@@ Property / cites work @@
+Q5009477
@@ Property / cites work: Q5009477 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Subexponential-Time Complexity of CSP
@@ Property / cites work: On the Subexponential-Time Complexity of CSP / rank @@
+Normal rank
@@ Property / cites work @@
+Relation algebras and their application in temporal and spatial reasoning
+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 @@
+Complexity and algorithms for reasoning about time
+Normal rank
@@ Property / cites work @@
+Relation algebras of intervals
@@ Property / cites work: Relation algebras of intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Q4336034
@@ Property / cites work: Q4336034 / rank @@
+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 @@
+Optimal Sparsification for Some Binary CSPs Using Low-Degree Polynomials
+Normal rank
@@ Property / cites work @@
+An initial study of time complexity in infinite-domain constraint satisfaction
+Normal rank
@@ Property / cites work @@
+Strong partial clones and the time complexity of SAT problems
+Normal rank
@@ Property / cites work @@
+Reasoning about temporal relations
@@ Property / cites work: Reasoning about temporal relations / rank @@
+Normal rank
@@ Property / cites work @@
+Sparsification of SAT and CSP Problems via Tractable Extensions
+Normal rank
@@ Property / cites work @@
+Q4904144
@@ Property / cites work: Q4904144 / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability problems on intervals and unit intervals
+Normal rank
@@ Property / cites work @@
+On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus
+Normal rank
@@ Property / cites work @@
+Q4533361
@@ Property / cites work: Q4533361 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of Spatial Logics
@@ Property / cites work: Handbook of Spatial Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4133641
@@ Property / cites work: Q4133641 / rank @@
+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