Armin Biere, Mathias Fleury, Maximilian Heisinger,
"CaDiCaL, Kissat, Paracooba Entering the SAT Competition 2021"
, in Tomas Balyo, Nils Froleyks, Marijn Heule, Markus Iser, Matti Järvisalo, Martin Suda: Proc. of SAT Competition 2021 - Solver and Benchmark Descriptions, Serie Department of Computer Science Report Series B, Vol. vol. B-2021-1, University of Helsinki, Seite(n) 10-13, 2021
Original Titel:
CaDiCaL, Kissat, Paracooba Entering the SAT Competition 2021
Sprache des Titels:
Englisch
Original Buchtitel:
Proc. of SAT Competition 2021 - Solver and Benchmark Descriptions
Original Kurzfassung:
This system description describes updates to our se-quential SAT solvers CADICAL and KISSATsubmitted to themain track as well as updates to our distributed cube-and-conquer solver PARACOOBAsubmitted to the cloud track.