Florian Pollitt, Mathias Fleury, Katalin Fazekas, Nils Froleyks, André Schidler, Dominik Schreiber 0001, Armin Biere. CaDiCaL 3.0 (Tool Paper). In Alexey Ignatiev, Stefan Szeider, editors, 29th International Conference on Theory and Applications of Satisfiability Testing, SAT 2026, Lisbon, Portugal, July 20-23, 2026. Volume 377 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. [doi]
@inproceedings{PollittFFFSSB26,
title = {CaDiCaL 3.0 (Tool Paper)},
author = {Florian Pollitt and Mathias Fleury and Katalin Fazekas and Nils Froleyks and André Schidler and Dominik Schreiber 0001 and Armin Biere},
year = {2026},
doi = {10.4230/LIPIcs.SAT.2026.40},
url = {https://doi.org/10.4230/LIPIcs.SAT.2026.40},
researchr = {https://researchr.org/publication/PollittFFFSSB26},
cites = {0},
citedby = {0},
booktitle = {29th International Conference on Theory and Applications of Satisfiability Testing, SAT 2026, Lisbon, Portugal, July 20-23, 2026},
editor = {Alexey Ignatiev and Stefan Szeider},
volume = {377},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-431-4},
}