The Cooperating Proof Calculus: Comprehensive Proofs for an SMT Solver

@inproceedings{DBLP:conf/cav/ReynoldsSBIJLMNPZJBT26,
  author       = {Andrew Reynolds and
                  Hans{-}J{\"{o}}rg Schurr and
                  Haniel Barbosa and
                  Ofec Israel and
                  Jibiana Jakpor and
                  Hanna Lachnitt and
                  Abdalrhman Mohamed and
                  Aina Niemetz and
                  Mathias Preiner and
                  Yoni Zohar and
                  Robert B. Jones and
                  Clark W. Barrett and
                  Cesare Tinelli},
  editor       = {Eva Darulova and
                  Anthony W. Lin and
                  Philipp R{\"{u}}mmer},
  title        = {The Cooperating Proof Calculus: Comprehensive Proofs for an {SMT}
                  Solver},
  booktitle    = {Computer Aided Verification - 38th International Conference, {CAV}
                  2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {16683},
  pages        = {188--212},
  publisher    = {Springer},
  year         = {2026},
  url          = {https://doi.org/10.1007/978-3-032-32526-6\_9},
  doi          = {10.1007/978-3-032-32526-6\_9},
  timestamp    = {Tue, 08 Sep 2026 16:10:32 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/ReynoldsSBIJLMNPZJBT26.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}