Armin Biere, Katalin Fazekas, Mathias Fleury, Maximilian Heisinger,
"CaDiCaL, Kissat, Paracooba, Plingeling and Treengeling Entering the SAT Competition 2020"
, in Tomas Balyo, Nils Froleyks, Marijn Heule, Markus Iser, Matti Järvisalo, Martin Suda: Proc. of SAT Competition 2020 - Solver and Benchmark Descriptions, Serie Department of Computer Science Report Series B, Vol. vol. B-2020-1, University of Helsinki, Helsinki, Seite(n) 50-53, 2020
Original Titel:
CaDiCaL, Kissat, Paracooba, Plingeling and Treengeling Entering the SAT Competition 2020
Sprache des Titels:
Englisch
Original Buchtitel:
Proc. of SAT Competition 2020 - Solver and Benchmark Descriptions
Original Kurzfassung:
This system description describes our new SAT solverKISSAT, how it differs from CADICAL, as well as changes madeto CADICAL. We further present our new distributed cube-and-conquer solver PARACOOBA. Previous parallel SAT solversPLINGELINGand TREENGELINGin essence remain unchanged