I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Sat7 Engineering a Modular SAT-Solver


Christian Kern, Mohammad Khaleghi, Stefan Kugele, Christian Schallhart, Michael Tautschnig, and Andreas Weis. Sat7 engineering a modular sat-solver, 2007.

Suggested BibTeX entry:

    author = {Christian Kern and Mohammad Khaleghi and Stefan Kugele and Christian Schallhart and Michael Tautschnig and Andreas Weis},
    booktitle = {SAT Competition 2007},
    title = {Sat7 Engineering a Modular SAT-Solver},
    year = {2007}

This work is not available online here.