Daniel Rolf

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2006

5 Daniel Rolf: Improved Bound for the PPSZ/Schöning-Algorithm for 3-SAT. JSAT 1(2): 111-122 (2006)

2005

4 Daniel Rolf: Derandomization of PPSZ for Unique- k-SAT. SAT 2005: 216-225

3 Daniel Rolf: Derandomization of PPSZ for Unique-k-SAT Electronic Colloquium on Computational Complexity (ECCC)(027): (2005)

2 Daniel Rolf: Improved Bound for the PPSZ/Schöning-Algorithm for 3-SAT Electronic Colloquium on Computational Complexity (ECCC)(159): (2005)

2003

1 Daniel Rolf: 3-SAT in RTIME(O(1.32793ⁿ)) - Improving Randomized Local Search by Initializing Strings of 3-Clauses Electronic Colloquium on Computational Complexity (ECCC)(054): (2003)

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