A Computing Procedure for Quantification Theory (Q5613969): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1145/321033.321034
+Normal rank
@@ Property / OpenAlex ID @@
+W2062897452
@@ Property / OpenAlex ID: W2062897452 / 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 @@
+Implementing the Davis-Putnam method
@@ Property / cites work: Implementing the Davis-Putnam method / rank @@
+Normal rank
@@ Property / cites work @@
+UnitWalk: A new SAT solver that uses local search guided by unit clause elimination
+Normal rank
@@ Property / cites work @@
+Survey propagation: An algorithm for satisfiability
+Normal rank
@@ Property / cites work @@
+An improved exponential-time algorithm for             <i>k</i>             -SAT
+Normal rank
@@ Property / cites work @@
+Linear Upper Bounds for Random Walk on Small Density Random 3‐CNFs
+Normal rank
@@ Property / cites work @@
+Q3140436
@@ Property / cites work: Q3140436 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4633854
@@ Property / cites work: Q4633854 / rank @@
+Normal rank
@@ Property / cites work @@
+A comparative runtime analysis of heuristic algorithms for satisfiability problems
+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 @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3122905
@@ Property / cites work: Q3122905 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3876725
@@ Property / cites work: Q3876725 / rank @@
+Normal rank