Structure-Based Satisfiability Checking: Analyzing and Harnessing the Potential

Reference:

Matti Järvisalo. Structure-Based Satisfiability Checking: Analyzing and Harnessing the Potential. Doctoral dissertation, TKK Dissertations in Information and Computer Science TKK-ICS-D10, Helsinki University of Technology, Faculty of Information and Natural Sciences, Department of Information and Computer Science, Espoo, Finland, 2008.

Suggested BibTeX entry:

@phdthesis{JarvisaloDoc,
    address = {Espoo, Finland},
    author = {Matti J\"arvisalo},
    school = {Helsinki University of Technology, Faculty of Information and Natural Sciences, Department of Information and Computer Science},
    title = {Structure-Based Satisfiability Checking: Analyzing and Harnessing the Potential},
    type = {Doctoral dissertation, {TKK} {D}issertations in {I}nformation and {C}omputer {S}cience {TKK-ICS-D10}},
    year = {2008},
}