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

← Older edit

@@ aliases / en / 0 / aliases / en / 0 @@
+Derandomizing HSSW Algorithm for 3-SAT
@@ description / en / description / en @@
+scientific article; zbMATH DE number 5939993
@@ Property / title @@
+Derandomizing HSSW Algorithm for 3-SAT (English)
@@ Property / title: Derandomizing HSSW Algorithm for 3-SAT (English) / rank @@
+Normal rank
@@ Property / zbMATH Open document ID @@
+.68299
@@ Property / zbMATH Open document ID: 1353.68299 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/978-3-642-22685-4_1
@@ Property / DOI: 10.1007/978-3-642-22685-4_1 / rank @@
+Normal rank
@@ Property / published in @@
+Lecture Notes in Computer Science
@@ Property / published in: Lecture Notes in Computer Science / rank @@
+Normal rank
@@ Property / publication date @@
+August 2011Timestamp +2011-08-17T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2011-08-17T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 17 August 2011 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5939993
@@ Property / zbMATH DE Number: 5939993 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1823899455
@@ Property / OpenAlex ID: W1823899455 / 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 @@
+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
@@ links / mardi / name / links / mardi / name @@
+Publication:378221