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
Volume66
Issue number10
DOIs
StatePublished - 22 Sep 2023

Cite this