Generating and Exploiting Automated Reasoning Proof Certificates

Haniel Barbosa, Clark Barrett, Byron Cook, Bruno Dutertre, Gereon Kremer, Hanna Lachnitt, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Cesare Tinelli, Yoni Zohar

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)86-95
Number of pages10
JournalCommunications of the ACM
Issue number10
StatePublished - 22 Sep 2023

Cite this