Armin Biere,
"Lingeling, Plingeling and Treengeling Entering the SAT Competition 2013"
, in A. Balint, A. Belov, M. Heule, M. Järvisalo: In Proceedings of SAT Competition 2013, Vol. B-2013-1, Department of Computer Science Series of Publications, University of Helsinki, 2013
Original Titel:
Lingeling, Plingeling and Treengeling Entering the SAT Competition 2013
Sprache des Titels:
Englisch
Original Buchtitel:
In Proceedings of SAT Competition 2013
Original Kurzfassung:
This paper serves as solver description for our SAT
solver Lingeling and its two parallel variants Treengeling and
Plingeling entering the SAT Competition 2013. We only list
important differences to the version of these solvers used in the
SAT Challenge 2012. For further information we refer to the
solver description [1] of the SAT Challenge 2012 or source code
Sprache der Kurzfassung:
Englisch
Veröffentlicher:
Department of Computer Science Series of Publications