3-SAT in RTIME(O(1.32793n)) - Improving Randomized Local Search by Initializing Strings of 3-Clauses - Daniel Rolf (Electron. Colloquium Comput. Complex., 2003)

Derandomization of PPSZ for Unique- k-SAT. - Daniel Rolf (SAT, 2005)

Derandomization of PPSZ for Unique-k-SAT - Daniel Rolf (Electron. Colloquium Comput. Complex., 2005)

Improved Bound for the PPSZ/Schöning-Algorithm for 3-SAT. - Daniel Rolf (J. Satisf. Boolean Model. Comput., 2006)

Algorithms for the satisfiability problem. - Daniel Rolf (2006)

Gestural navigation in Google Earth. - Simon Stannus; Daniel Rolf; Arko Lucieer; Winyu Chinthammit (OZCHI, 2011)