Armin Biere,
"CaDiCaL, Lingeling, Plingeling, Treengeling and YalSAT Entering the SAT Competition 2018"
, in Heule, Marijn J. H.; Järvisalo, Matti Juhani; Suda, Martin: Proceedings of SAT Competition 2018, Solver and Benchmark Descriptions, University of Helsinki, Department of Computer Science, Helsinki, 2018
Original Titel:
CaDiCaL, Lingeling, Plingeling, Treengeling and YalSAT Entering the SAT Competition 2018
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of SAT Competition 2018, Solver and Benchmark Descriptions
Original Kurzfassung:
This note documents the versions of our SAT solvers submitted to the SAT Competition 2018, which are CADICAL, LINGELING, its two parallel variants TREENGELING and PLINGELING, and our local search solver YALSAT.
Sprache der Kurzfassung:
Englisch
Veröffentlicher:
University of Helsinki, Department of Computer Science