Approaches to Grid-Based SAT Solving

Reference:

Antti E. J. Hyvärinen. Approaches to grid-based SAT solving. Research Report TKK-ICS-R16, Helsinki University of Technology, Department of Information and Computer Science, Espoo, Finland, June 2009.

Suggested BibTeX entry:

@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},
}