@article{
    Jarvisalo:AICom09,
    author = {J\"arvisalo, Matti},
    volume = "22",
    note = "Thesis summary",
    title = "Structure-Based Satisfiability Checking: Analyzing and Harnessing the Potential",
    url = "http://www.tcs.tkk.fi/~mjj/publications.shtml",
    journal = "AI Communications",
    corerank = "B",
    number = "2",
    abstract = "This note summarizes a dissertation that focuses on methods for solving structured real-world problems based on propositional satisfiability (SAT). The work contributes to the analysis and development of both complete search (DPLL and clause learning) and stochastic local search methods for SAT",
    responsibleauthor = {Matti J\"avisalo},
    flags = "public MCM",
    year = "2009",
    impactfactor = "A",
    pages = "117--119"
}