TCS / Research / Publications / Analyzing the Random-Walk Algorithm for SAT
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

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

PDF (512 kB)

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 19 January 2010.