@mastersthesis{RantanenMsc,
author = {Heikki Rantanen},
school = {Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science},
title = {Analyzing the {R}andom-{W}alk Algorithm for {SAT}},
year = {2004},
}