Armin Biere,
"LINGELING and Friends Entering the SAT Challenge 2012"
, in Department of Computer Science Series of Publications B: Proc. of SAT Challenge 2012: Solver and Benchmark Descriptions, Vol. B-2012-2, University of Helsinki, Helsinki, Seite(n) 33-34, 2012
Original Titel:
LINGELING and Friends Entering the SAT Challenge 2012
Sprache des Titels:
Englisch
Original Buchtitel:
Proc. of SAT Challenge 2012: Solver and Benchmark Descriptions
Original Kurzfassung:
This note describes our SAT solvers submitted to the SAT
Challenge 2012, all based on the same LINGELING backend.