Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
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.