Industrial-Strength SAT Solving and Restricted Branching

Reference:

Matti Järvisalo. Industrial-strength SAT solving and restricted branching. In Veli Mäkinen, Greger Lindén, and Hannu Toivonen, editors, Summer School on Algorithmic Data Analysis (SADA 2007) and Annual Hecse Poster Session. Abstract proceedings, Series of Publications B, Report B-2007-4, page 39. Helsinki University Printing House, 2007.

Suggested BibTeX entry:

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