@phdthesis{
    LaitinenThesis14,
    author = "Laitinen, Tero",
    juforank = "NA",
    school = "Aalto University School of Science",
    isbn = "978-952-60-5944-0",
    language = "eng",
    title = "Extending SAT Solver with Parity Reasoning",
    url = "http://urn.fi/URN:ISBN:978-952-60-5945-7",
    timestamp = "2014.11.06",
    issn = "1799-4934",
    responsibleauthor = "Laitinen, Tero",
    flags = "public",
    il = "no",
    year = "2014",
    owner = "MN",
    unitcode = "T306-100",
    kay = "NA",
    impactfactor = "G5",
    type = "Doctoral dissertation",
    pages = "151 p. + app. 78 p."
}