@inproceedings{e6c64f3f2b8e47b18153ae131c60d968,
title = "CaDiCaL, Kissat, Paracooba Entering the SAT Competition 2021",
abstract = "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.",
author = "Armin Biere and Mathias Fleury and Maximilian Heisinger",
year = "2021",
language = "English",
volume = "vol. B-2021-1",
series = "Department of Computer Science Report Series B",
publisher = "University of Helsinki",
pages = "10--13",
editor = "{Tomas Balyo, Nils Froleyks, Marijn Heule, Markus Iser, Matti J{\"a}rvisalo, Martin Suda}",
booktitle = "Proc. of SAT Competition 2021 - Solver and Benchmark Descriptions",
}