Disjunctions, independence, refinements (Q1614865): Difference between revisions

@@ Property / cites work @@
+A linear-time algorithm for testing the truth of certain quantified Boolean formulas
+Normal rank
@@ Property / cites work @@
+Q4472556
@@ Property / cites work: Q4472556 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473024
@@ Property / cites work: Q4473024 / rank @@
+Normal rank
@@ Property / cites work @@
+Building tractable disjunctive constraints
@@ Property / cites work: Building tractable disjunctive constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint satisfaction over connected row-convex constraints
+Normal rank
@@ Property / cites work @@
+A sufficient condition for backtrack-bounded search
+Normal rank
@@ Property / cites work @@
+A comparison of structural CSP decomposition methods
+Normal rank
@@ Property / cites work @@
+Tractable constraints on ordered domains
@@ Property / cites work: Tractable constraints on ordered domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q4386965
@@ Property / cites work: Q4386965 / rank @@
+Normal rank
@@ Property / cites work @@
+Consistency in networks of relations
@@ Property / cites work: Consistency in networks of relations / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about temporal relations
@@ Property / cites work: Reasoning about temporal relations / rank @@
+Normal rank
@@ Property / cites work @@
+Benoit Mandelbrot, W. H. Freeman, and the launch of <i>The Fractal Geometry of Nature</i>
+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 @@
+On the minimality and global consistency of row-convex constraint networks
+Normal rank