@techreport{TKK-ICS-R16,
address = {Espoo, Finland},
author = {Antti E. J. Hyv{\"a}rinen},
institution = {Helsinki University of Technology, Department of Information and Computer Science},
month = {June},
number = {TKK-ICS-R16},
pages = {85},
title = {Approaches to Grid-Based {SAT} Solving},
type = {Research Report},
year = {2009},
}