Reference:

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

Suggested BibTeX entry:

@misc{Kern_sat7,
    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}
}