Derandomizing the HSSW algorithm for 3-SAT (Q378221): Difference between revisions

@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+An improved deterministic local search algorithm for 3-SAT
+Normal rank
@@ Property / cites work @@
+Q5417683
@@ Property / cites work: Q5417683 / 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 @@
+-SAT Faster and Simpler - Unique-SAT Bounds for PPSZ Hold in General
+Normal rank
@@ Property / cites work @@
+Q3113688
@@ Property / cites work: Q3113688 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736839
@@ Property / cites work: Q4736839 / rank @@
+Normal rank
@@ Property / cites work @@
+Improved Randomized Algorithms for 3-SAT
@@ Property / cites work: Improved Randomized Algorithms for 3-SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Q5501274
@@ Property / cites work: Q5501274 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving satisfiability in less than \(2^ n\) steps
+Normal rank
@@ Property / cites work @@
+A full derandomization of schöning's k-SAT algorithm
+Normal rank
@@ Property / cites work @@
+Derandomizing Approximation Algorithms Based on Semidefinite Programming
+Normal rank
@@ Property / cites work @@
+Undirected connectivity in log-space
@@ Property / cites work: Undirected connectivity in log-space / rank @@
+Normal rank
@@ Property / cites work @@
+Q3507036
@@ Property / cites work: Q3507036 / rank @@
+Normal rank
@@ Property / cites work @@
+Guided Search and a Faster Deterministic Algorithm for 3-SAT
+Normal rank