Backtracking with multi-level dynamic search rearrangement (Q1138385): Difference between revisions

@@ Property / cites work @@
+Estimating the Efficiency of Backtrack Programs
@@ Property / cites work: Estimating the Efficiency of Backtrack Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Backtrack programming techniques
@@ Property / cites work: Backtrack programming techniques / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematics and Computer Science: Coping with Finiteness
+Normal rank
@@ Property / cites work @@
+Q3233529
@@ Property / cites work: Q3233529 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5736488
@@ Property / cites work: Q5736488 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Tree Size by Partial Backtracking
@@ Property / cites work: Tree Size by Partial Backtracking / rank @@
+Normal rank
@@ Property / cites work @@
+A Computing Procedure for Quantification Theory
@@ Property / cites work: A Computing Procedure for Quantification Theory / 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 @@
+Approximation algorithms for combinatorial problems
+Normal rank
@@ Property / cites work @@
+An Average Time Analysis of Backtracking
@@ Property / cites work: An Average Time Analysis of Backtracking / rank @@
+Normal rank