Armin Biere,
"CaDiCaL, Lingeling, Plingeling, Treengeling, YalSAT Entering the SAT Competition 2017"
, in Tomas Toma?s?, Marijn Heule, Matti Järvisalo: Proceedings of SAT Competition 2017 - Solver and Benchmark Descriptions, Serie Department of Computer Science Series of Publications B, Vol. B-2017-1, University of Helsinki, Seite(n) 14-15, 9-2017
Original Titel:
CaDiCaL, Lingeling, Plingeling, Treengeling, YalSAT Entering the SAT Competition 2017
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of SAT Competition 2017 - Solver and Benchmark Descriptions
Original Kurzfassung:
This paper serves as a ?rst solver description for our new SAT solver CADICAL and documents the versions of our other solvers submitted to the SAT Competition 2017, 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