BibTeX record data/11/PollittFFFB25b

download as .bib file

@misc{DBLP:data/11/PollittFFFB25b,
  author       = {Florian Pollitt and
                  Mathias Fleury and
                  Katalin Fazekas and
                  Nils Froleyks and
                  Armin Biere},
  title        = {CaDiCaL 2.2 System Description Artifact (Version 3)},
  publisher    = {Zenodo},
  year         = {2025},
  month        = feb,
  howpublished = {\url{https://doi.org/10.5281/zenodo.14944298}},
  note         = {Accessed on YYYY-MM-DD.},
  url          = {https://doi.org/10.5281/zenodo.14944298},
  doi          = {10.5281/ZENODO.14944298},
  timestamp    = {Mon, 25 Aug 2025 19:59:23 +0200},
  biburl       = {https://dblp.org/rec/data/11/PollittFFFB25b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.