@techreport{
    TKK-ICS-R16,
    author = {Hyv{\"a}rinen, Antti E. J.},
    issn = "ISSN-R",
    isbn = "978-951-22-9942-3 (Print), 978-951-22-9943-0 (Online)",
    institution = "Helsinki University of Technology, Department of Information and Computer Science",
    title = "Approaches to Grid-Based {SAT} Solving",
    address = "Espoo, Finland",
    number = "TKK-ICS-R16",
    month = "June",
    responsibleauthor = {Hyv{\"a}rinen, Antti},
    optpdf = "TKK-ICS-R16.pdf",
    flags = "SERIES-R public copy MCM",
    opttkkurl = "http://lib.tkk.fi/Reports/2009/isbn.pdf",
    year = "2009",
    impactfactor = "E",
    type = "Research Report",
    pages = "85"
}