Haniel Barbosa, Clark W. Barrett, Byron Cook, Bruno Dutertre, Gereon Kremer, Hanna Lachnitt, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds 0001, Cesare Tinelli, Yoni Zohar. Generating and Exploiting Automated Reasoning Proof Certificates. Communications of the ACM, 66(10):86-95, October 2023. [doi]
No references recorded for this publication.
No citations of this publication recorded.