Name
Abstract | ||
|---|---|---|
We present a (full) derandomization of HSSW algorithm for 3-SAT, proposed by Hofmeister, Schöning, Schuler, and Watanabe in [STACS'02]. Thereby, we obtain an Õ(1.3303n)-time deterministic algorithm for 3-SAT, which is currently fastest. |
Year | DOI | Venue |
|---|---|---|
2011 | 10.1007/978-3-642-22685-4_1 | Clinical Orthopaedics and Related Research |
Keywords | DocType | Volume |
hssw algorithm,derandomizing hssw algorithm,time deterministic algorithm | Conference | abs/1102.3766 |
Citations | PageRank | References |
1 | 0.36 | 16 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Kazuhisa Makino | 1 | 1088 | 102.74 |
| Suguru Tamaki | 2 | 87 | 12.84 |
| Masaki Yamamoto | 3 | 1 | 0.36 |