We stand with Ukraine  

Daniel Rolf

According to our database1, Daniel Rolf authored at least 6 papers between 2003 and 2011.

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2011
Gestural navigation in Google Earth.
[BibTeX]
[DOI]
Simon Stannus
,
Daniel Rolf
,
Arko Lucieer
,
Winyu Chinthammit
Proceedings of the Annual Meeting of the Australian Special Interest Group for Computer Human Interaction, OzCHI '11, Canberra, Australia, November 28, 2011

2006
Algorithms for the satisfiability problem.
[BibTeX]
[DOI]
Daniel Rolf
PhD thesis, 2006

Improved Bound for the PPSZ/Schöning-Algorithm for 3-SAT.
[BibTeX]
[DOI]
Daniel Rolf
J. Satisf. Boolean Model. Comput., 2006

2005
Derandomization of PPSZ for Unique-k-SAT
[BibTeX]
[DOI]
Daniel Rolf
Electron. Colloquium Comput. Complex., 2005

Derandomization of PPSZ for Unique- <i>k</i>-SAT.
[BibTeX]
[DOI]
Daniel Rolf
Proceedings of the Theory and Applications of Satisfiability Testing, 2005

2003
3-SAT in RTIME(O(1.32793<sup>n</sup>)) - Improving Randomized Local Search by Initializing Strings of 3-Clauses
[BibTeX]
[DOI]
Daniel Rolf
Electron. Colloquium Comput. Complex., 2003


  Loading...