Daniel Rolf

Algorithms for the satisfiability problem

Daniel Rolf, Daniel Rolf, 2006 .

Derandomization of PPSZ for Unique- k-SAT

Daniel Rolf, Daniel Rolf, 2005, SAT.

Challenges in Conducting Research in a Digital Discourse

Jinjin Lu, Thao Lê, Daniel Rolf, 2013 .

3-SAT in RTIME(O(1.32793n)) - Improving Randomized Local Search by Initializing Strings of 3-Clauses

Daniel Rolf, Daniel Rolf, 2003, Electron. Colloquium Comput. Complex..

Improved Bound for the PPSZ/Schöning-Algorithm for 3-SAT

Daniel Rolf, Daniel Rolf, 2006, J. Satisf. Boolean Model. Comput..

Mixed Realities: Human Interaction Technologies

Daniel Rolf, 2011 .