Computational Short Cuts in Infinite Domain Constraint Satisfaction (Q5870497): Difference between revisions

@@ Property / cites work @@
+The algebraic dichotomy conjecture for infinite domain Constraint Satisfaction Problems
+Normal rank
@@ Property / cites work @@
+Complexity of Infinite-Domain Constraint Satisfaction
+Normal rank
@@ Property / cites work @@
+A Model-Theoretic View on Qualitative Constraint Reasoning
+Normal rank
@@ Property / cites work @@
+The complexity of temporal constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Tractability in constraint satisfaction problems: a survey
+Normal rank
@@ Property / cites work @@
+Augmenting tractable fragments of abstract argumentation
+Normal rank
@@ Property / cites work @@
+Backdoors to tractable answer set programming
@@ Property / cites work: Backdoors to tractable answer set programming / rank @@
+Normal rank
@@ Property / cites work @@
+Parametrized complexity theory.
@@ Property / cites work: Parametrized complexity theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Discovering Archipelagos of Tractability for Constraint Satisfaction and Counting
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Backdoors into heterogeneous classes of SAT and CSP
+Normal rank
@@ Property / cites work @@
+Backdoor Sets for CSP.
@@ Property / cites work: Backdoor Sets for CSP. / rank @@
+Normal rank
@@ Property / cites work @@
+Backdoors to Satisfaction
@@ Property / cites work: Backdoors to Satisfaction / rank @@
+Normal rank
@@ Property / cites work @@
+On Random Ordering Constraints
@@ Property / cites work: On Random Ordering Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Beating the Random Ordering Is Hard: Every Ordering CSP Is Approximation Resistant
+Normal rank
@@ Property / cites work @@
+Relation algebras of intervals
@@ Property / cites work: Relation algebras of intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ Property / cites work @@
+The NP-Completeness of Some Edge-Partition Problems
+Normal rank
@@ Property / cites work @@
+Constants and finite unary relations in qualitative constraint reasoning
+Normal rank
@@ Property / cites work @@
+An initial study of time complexity in infinite-domain constraint satisfaction
+Normal rank
@@ Property / cites work @@
+Q5005145
@@ Property / cites work: Q5005145 / rank @@
+Normal rank
@@ Property / cites work @@
+Acyclic orders, partition schemes and CSPs: unified hardness proofs and improved algorithms
+Normal rank
@@ Property / cites work @@
+The Inverse Satisfiability Problem
@@ Property / cites work: The Inverse Satisfiability Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Backdoors to planning
@@ Property / cites work: Backdoors to planning / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of inverse constraint problems and a dichotomy for the inverse satisfiability problem
+Normal rank
@@ Property / cites work @@
+Integer Programming with a Fixed Number of Variables
+Normal rank
@@ Property / cites work @@
+Backdoors for linear temporal logic
@@ Property / cites work: Backdoors for linear temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Scheduling with AND/OR Precedence Constraints
@@ Property / cites work: Scheduling with AND/OR Precedence Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Branch-and-bound algorithms: a survey of recent advances in searching, branching, and pruning
+Normal rank
@@ Property / cites work @@
+Reasoning about temporal relations
@@ Property / cites work: Reasoning about temporal relations / rank @@
+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 @@
+Backdoor sets of quantified Boolean formulas
@@ Property / cites work: Backdoor sets of quantified Boolean formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414647
@@ Property / cites work: Q4414647 / 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