Analyzing the Random-Walk Algorithm for SAT

Reference:

Heikki Rantanen. Analyzing the Random-Walk algorithm for SAT. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2004.

Suggested BibTeX entry:

@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},
}