Solving infinite-domain CSPs using the patchwork property (Q6157211): Difference between revisions

@@ Property / cites work @@
+Homogenizable structures and model completeness
@@ Property / cites work: Homogenizable structures and model completeness / rank @@
+Normal rank
@@ Property / cites work @@
+Inferring a Tree from Lowest Common Ancestors with an Application to the Optimization of Relational Expressions
+Normal rank
@@ Property / cites work @@
+Maintaining knowledge about temporal intervals
@@ Property / cites work: Maintaining knowledge about temporal intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of Finding Embeddings in a <i>k</i>-Tree
+Normal rank
@@ Property / cites work @@
+Non-Homogenizable Classes of Finite Structures
@@ Property / cites work: Non-Homogenizable Classes of Finite Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Description logics with concrete domains and general concept inclusions revisited
+Normal rank
@@ Property / cites work @@
+Tractability Results in the Block Algebra
@@ Property / cites work: Tractability Results in the Block Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Branching interval algebra: an almost complete picture
+Normal rank
@@ Property / cites work @@
+Nonserial dynamic programming
@@ Property / cites work: Nonserial dynamic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of Infinite-Domain Constraint Satisfaction
+Normal rank
@@ Property / cites work @@
+The universal homogeneous binary tree
@@ Property / cites work: The universal homogeneous binary tree / rank @@
+Normal rank
@@ Property / cites work @@
+Datalog and constraint satisfaction with infinite templates
+Normal rank
@@ Property / cites work @@
+Non-dichotomies in Constraint Satisfaction Complexity
+Normal rank
@@ Property / cites work @@
+A Model-Theoretic View on Qualitative Constraint Reasoning
+Normal rank
@@ Property / cites work @@
+The Complexity of Phylogeny Constraint Satisfaction Problems
+Normal rank
@@ Property / cites work @@
+The complexity of temporal constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+A Linear-Time Algorithm for Finding Tree-Decompositions of Small Treewidth
+Normal rank
@@ Property / cites work @@
+Efficient and Constructive Algorithms for the Pathwidth and Treewidth of Graphs
+Normal rank
@@ Property / cites work @@
+Point algebras for temporal reasoning: Algorithms and complexity
+Normal rank
@@ Property / cites work @@
+Homogenizable relational structures
@@ Property / cites work: Homogenizable relational structures / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive conditioning
@@ Property / cites work: Recursive conditioning / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about partially ordered events
@@ Property / cites work: Reasoning about partially ordered events / rank @@
+Normal rank
@@ Property / cites work @@
+Boosting search with variable elimination in constraint optimization and constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Temporal constraint networks
@@ Property / cites work: Temporal constraint networks / rank @@
+Normal rank
@@ Property / cites work @@
+Graph Theory
@@ Property / cites work: Graph Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamentals of parameterized complexity
@@ Property / cites work: Fundamentals of parameterized complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Extension Properties of Boolean Contact Algebras
@@ Property / cites work: Extension Properties of Boolean Contact Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4982401
@@ Property / cites work: Q4982401 / rank @@
+Normal rank
@@ Property / cites work @@
+“Sometimes” and “not never” revisited
@@ Property / cites work: “Sometimes” and “not never” revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Parametrized complexity theory.
@@ Property / cites work: Parametrized complexity theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Q5819562
@@ Property / cites work: Q5819562 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed-parameter complexity in AI and nonmonotonic reasoning
+Normal rank
@@ Property / cites work @@
+Complexities of Relational Structures
@@ Property / cites work: Complexities of Relational Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Relation algebras of intervals
@@ Property / cites work: Relation algebras of intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Expressive power and complexity in algebraic logic
+Normal rank
@@ Property / cites work @@
+Q4336034
@@ Property / cites work: Q4336034 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3457245
@@ Property / cites work: Q3457245 / rank @@
+Normal rank
@@ Property / cites work @@
+Decomposition and tractability in qualitative spatial and temporal reasoning
+Normal rank
@@ Property / cites work @@
+Q3327718
@@ Property / cites work: Q3327718 / rank @@
+Normal rank
@@ Property / cites work @@
+Which problems have strongly exponential complexity?
+Normal rank
@@ Property / cites work @@
+Constants and finite unary relations in qualitative constraint reasoning
+Normal rank
@@ Property / cites work @@
+Acyclic orders, partition schemes and CSPs: unified hardness proofs and improved algorithms
+Normal rank
@@ Property / cites work @@
+Q5869576
@@ Property / cites work: Q5869576 / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint Satisfaction Problems on Intervals and Lengths
+Normal rank
@@ Property / cites work @@
+The mutual exclusion problem
@@ Property / cites work: The mutual exclusion problem / rank @@
+Normal rank
@@ Property / cites work @@
+Slightly Superexponential Parameterized Problems
@@ Property / cites work: Slightly Superexponential Parameterized Problems / rank @@
+Normal rank
@@ Property / cites work @@
+A tableau algorithm for description logics with concrete domains and general TBoxes
+Normal rank
@@ Property / cites work @@
+A survey of homogeneous structures
@@ Property / cites work: A survey of homogeneous structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q3002818
@@ Property / cites work: Q3002818 / 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 @@
+Reasoning about temporal relations
@@ Property / cites work: Reasoning about temporal relations / rank @@
+Normal rank
@@ Property / cites work @@
+The difficulty of constructing a leaf-labelled tree including or avoiding given subtrees
+Normal rank
@@ Property / cites work @@
+Q5710169
@@ Property / cites work: Q5710169 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2729723
@@ Property / cites work: Q2729723 / 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 @@
+Graph minors. III. Planar tree-width
@@ Property / cites work: Graph minors. III. Planar tree-width / rank @@
+Normal rank
@@ Property / cites work @@
+Q3184605
@@ Property / cites work: Q3184605 / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint satisfaction with bounded treewidth revisited
+Normal rank
@@ Property / cites work @@
+Q4133641
@@ Property / cites work: Q4133641 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of reconstructing trees from qualitative characters and subtrees
+Normal rank
@@ Property / cites work @@
+Computational Phylogenetics
@@ Property / cites work: Computational Phylogenetics / 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