Armin Biere,
"Splatz, Lingeling, Plingeling, Treengeling, YalSAT Entering the SAT Competition 2016"
, in Tomas Balyo, Marijn Heule und Matti Järvisalo: Proceedings of SAT Competition 2016 - Solver and Benchmark Descriptions, Serie Department of Computer Science Series of Publications B, Vol. B-2016-1, University of Helsinki, Seite(n) 44-45, 2016
Original Titel:
Splatz, Lingeling, Plingeling, Treengeling, YalSAT Entering the SAT Competition 2016
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of SAT Competition 2016 - Solver and Benchmark Descriptions
Original Kurzfassung:
This paper serves as solver description for our new
SAT solver Splatz and further documents the versions of our
other solvers submitted to the SAT Competition 2016, which are
Lingeling, its two parallel variants Treengeling and Plingeling,
and our local search solver YalSAT.
Sprache der Kurzfassung:
Englisch
Veröffentlicher:
University of Helsinki
Serie:
Department of Computer Science Series of Publications B