Approaches to Grid-Based SAT Solving

Reference:

Antti E.J. Hyvärinen. Approaches to Grid-Based SAT Solving. Licentiate's thesis, Helsinki University of Technology, Department of Information and Computer Science, 2009.

Suggested BibTeX entry:

@phdthesis{HyvarinenLic,
    author = {Antti E.J. Hyv\"arinen},
    school = {Helsinki University of Technology, Department of Information and Computer Science},
    title = {Approaches to Grid-Based {SAT} Solving},
    type = {Licentiate's Thesis},
    year = {2009},
}

This work is not available online here.