An average case analysis of a resolution principle algorithm in mechanical theorem proving. (Q1353997): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Backtrack programming techniques
@@ Property / cites work: Backtrack programming techniques / rank @@
+Normal rank
@@ Property / cites work @@
+The Pure Literal Rule and Polynomial Average Time
@@ Property / cites work: The Pure Literal Rule and Polynomial Average Time / rank @@
+Normal rank
@@ Property / cites work @@
+Exponential Average Time for the Pure Literal Rule
+Normal rank
@@ Property / cites work @@
+Q5679729
@@ Property / cites work: Q5679729 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Analysis of Two Heuristics for the 3-Satisfiability Problem
+Normal rank
@@ Property / cites work @@
+Many hard examples for resolution
@@ Property / cites work: Many hard examples for resolution / 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 @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / 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 @@
+Q3827800
@@ Property / cites work: Q3827800 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem
+Normal rank
@@ Property / cites work @@
+On the complexity of regular resolution and the Davis-Putnam procedure
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Average time analyses of simplified Davis-Putnam procedures
+Normal rank
@@ Property / cites work @@
+The intractability of resolution
@@ Property / cites work: The intractability of resolution / rank @@
+Normal rank
@@ Property / cites work @@
+CNF-Satisfiability Test by Counting and Polynomial Average Time
+Normal rank
@@ Property / cites work @@
+Average Performance of Heuristics for Satisfiability
+Normal rank
@@ Property / cites work @@
+An Analysis of Backtracking with Search Rearrangement
+Normal rank
@@ Property / cites work @@
+Polynomial-average-time satisfiability problems
@@ Property / cites work: Polynomial-average-time satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem-Proving on the Computer
@@ Property / cites work: Theorem-Proving on the Computer / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Hard examples for resolution
@@ Property / cites work: Hard examples for resolution / rank @@
+Normal rank