@inproceedings{DBLP:conf/sat/PollittFFFSSB26,
  author       = {Florian Pollitt and
                  Mathias Fleury and
                  Katalin Fazekas and
                  Nils Froleyks and
                  Andr{\'{e}} Schidler and
                  Dominik Schreiber and
                  Armin Biere},
  title        = {CaDiCaL 3.0},
  booktitle    = {{SAT}},
  series       = {LIPIcs},
  volume       = {377},
  pages        = {40:1--40:14},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2026}
}