| |
| 2005 | ||
|---|---|---|
| 4 | EE | Daniel Rolf: Derandomization of PPSZ for Unique- k-SAT. SAT 2005: 216-225 |
| 3 | EE | Daniel Rolf: Derandomization of PPSZ for Unique-k-SAT Electronic Colloquium on Computational Complexity (ECCC)(027): (2005) |
| 2 | EE | Daniel Rolf: Improved Bound for the PPSZ/Schöning-Algorithm for 3-SAT Electronic Colloquium on Computational Complexity (ECCC)(159): (2005) |
| 2003 | ||
| 1 | EE | Daniel Rolf: 3-SAT in RTIME(O(1.32793n)) - Improving Randomized Local Search by Initializing Strings of 3-Clauses Electronic Colloquium on Computational Complexity (ECCC)(054): (2003) |