Armin Biere,
"Lingeling, Plingeling, PicoSAT and PrecoSAT at SAT Race 2010"
, Serie FMV Reports Series, Vol. 10/1, Johannes Kepler University, Linz, Austria, 8-2010
Original Titel:
Lingeling, Plingeling, PicoSAT and PrecoSAT at SAT Race 2010
Sprache des Titels:
Englisch
Original Kurzfassung:
This note serves as system description for our SAT solvers
that entered the SAT Race 2010 affiliated to the SAT conference 2010.
Forschungs-