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