@phdthesis{
    hyvarinen:2011:dissertation_hyvarinen,
    author = "Hyvärinen, Antti E. J.",
    publisher = "Aalto University",
    school = "Aalto University School of Science",
    title = "Grid Based Propositional Satisfiability Solving",
    url = "http://urn.fi/URN:ISBN:978-952-60-4368-5",
    responsibleauthor = "Hyvärinen, Antti E. J.",
    flags = "",
    year = "2011",
    owner = "MN",
    impactfactor = "G5",
    type = "Doctoral dissertation"
}