@techreport{ab80dfcbae6247b1ad861fbb9dcf61a4,
title = "Approaches to Grid-Based SAT Solving",
keywords = "computational grids, distributed search, multi-search, propositional satisfiability, SAT solving, computational grids, distributed search, multi-search, propositional satisfiability, SAT solving, computational grids, distributed search, multi-search, propositional satisfiability, SAT solving",
author = "Hyv{\"a}rinen, {Antti E.J.}",
year = "2009",
language = "English",
isbn = "978-951-22-9942-3",
series = "TKK Reports in Information and Computer Science",
publisher = "TKK ICS",
number = "TKK-ICS-R16",
type = "WorkingPaper",
institution = "TKK ICS",
}