@phdthesis{
    Jarvisalo2008,
    author = "Järvisalo, Matti",
    publisher = "Helsinki University of Technology, Faculty of Information and Natural Sciences, Department of Information and Computer Science. TKK-ICS-D10",
    title = "Structure-Based Satisfiability Checking: Analyzing and Harnessing the Potential. Doctoral Dissertation",
    url = "http://lib.tkk.fi/Diss/2008/isbn9789512296422/",
    address = "Espoo",
    year = "2008",
    owner = "MM",
    impactfactor = "O1"
}