@phdthesis{
    HyvarinenALic2009,
    author = "Hyvärinen, Antti E. J.",
    juforank = "NA",
    school = "Helsinki University of Technology",
    note = "Licentiate thesis",
    isbn = "0",
    language = "eng",
    title = "Approaches to grid-based SAT-solving",
    url = "",
    timestamp = "2014.05.21",
    responsibleauthor = "Hyvärinen, Antti E. J.",
    flags = "",
    il = "no",
    year = "2009",
    owner = "MN",
    unitcode = "T306-100",
    kay = "NA",
    impactfactor = "G3",
    type = "Licentiate Thesis"
}