A randomized algorithm for 3-SAT (Q626900): Difference between revisions

@@ Property / cites work @@
+A linear-time algorithm for testing the truth of certain quantified Boolean formulas
+Normal rank
@@ Property / cites work @@
+An improved deterministic local search algorithm for 3-SAT
+Normal rank
@@ Property / cites work @@
+The complexity of Unique \(k\)-SAT: An isolation lemma for \(k\)-CNFs
+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 @@
+Q3931248
@@ Property / cites work: Q3931248 / rank @@
+Normal rank
@@ Property / cites work @@
+A deterministic \((2-2/(k+1))^{n}\) algorithm for \(k\)-SAT based on local search.
+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 @@
+Q5624436
@@ Property / cites work: Q5624436 / rank @@
+Normal rank
@@ Property / cites work @@
+A necessary condition on minimal cube numberings
@@ Property / cites work: A necessary condition on minimal cube numberings / rank @@
+Normal rank
@@ Property / cites work @@
+Randomized algorithms for 3-SAT
@@ Property / cites work: Randomized algorithms for 3-SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Q5501274
@@ Property / cites work: Q5501274 / rank @@
+Normal rank
@@ Property / cites work @@
+New methods for 3-SAT decision and worst-case analysis
+Normal rank
@@ Property / cites work @@
+Solving satisfiability in less than \(2^ n\) steps
+Normal rank
@@ Property / cites work @@
+An improved exponential-time algorithm for             <i>k</i>             -SAT
+Normal rank
@@ Property / cites work @@
+Q4484662
@@ Property / cites work: Q4484662 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q3507036
@@ Property / cites work: Q3507036 / rank @@
+Normal rank
@@ Property / cites work @@
+A probabilistic algorithm for \(k\)-SAT based on limited local search and restart
+Normal rank