@inproceedings{
    Jarvisalo:SADA07,
    editor = {M\"akinen, Veli and Lind\'en, Greger and Toivonen, Hannu},
    author = {J\"arvisalo, Matti},
    publisher = "Helsinki University Printing House",
    title = "Industrial-Strength {SAT} Solving and Restricted Branching",
    series = "Series of Publications B, Report B-2007-4",
    booktitle = "Summer School on Algorithmic Data Analysis (SADA 2007) and Annual Hecse Poster Session. Abstract proceedings",
    flags = "ACPT public",
    year = "2007",
    pages = "39"
}