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

@@ Property / author @@
-Q1135116
@@ Property / author: Q1135116 / rank @@
-Normal rank
@@ Property / author @@
+Paul Walton jun. Purdom
@@ Property / author: Paul Walton jun. Purdom / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:1138385