@inproceedings{BiereFallerFazekasFleuryFroleyks-CAV24,
  author       = {Armin Biere and
                  Tobias Faller and
                  Katalin Fazekas and
                  Mathias Fleury and
                  Nils Froleyks and
                  Florian Pollitt},
  editor       = {Arie Gurfinkel and
                  Vijay Ganesh},
  title        = {{CaDiCaL 2.0}},
  booktitle    = {Computer Aided Verification - 36th International Conference, {CAV}
                  2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14681},
  pages        = {133--152},
  publisher    = {Springer},
  year         = {2024},
  doi          = {10.1007/978-3-031-65627-9\_7},
}