Armin Biere,
"Lingeling and Friends at the SAT Competition 2011"
, Serie FMV Reports Series, Vol. 11/1, Institute for Formal Models and Verification, Johannes Kepler Universität Linz, Linz, 3-2011
Original Titel:
Lingeling and Friends at the SAT Competition 2011
Sprache des Titels:
Englisch
Original Kurzfassung:
This note serves as system description for our solvers submitted
to the various tracks of the SAT Competition 2011 affiliated to
the SAT conference 2011
Sprache der Kurzfassung:
Englisch
Veröffentlicher:
Institute for Formal Models and Verification, Johannes Kepler Universität Linz