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]
@article{BarbosaBCDKLNNOPRTZ23,
title = {Generating and Exploiting Automated Reasoning Proof Certificates},
author = {Haniel Barbosa and Clark W. Barrett and Byron Cook and Bruno Dutertre and Gereon Kremer and Hanna Lachnitt and Aina Niemetz and Andres Nötzli and Alex Ozdemir and Mathias Preiner and Andrew Reynolds 0001 and Cesare Tinelli and Yoni Zohar},
year = {2023},
month = {October},
doi = {10.1145/3587692},
url = {https://doi.org/10.1145/3587692},
researchr = {https://researchr.org/publication/BarbosaBCDKLNNOPRTZ23},
cites = {0},
citedby = {0},
journal = {Communications of the ACM},
volume = {66},
number = {10},
pages = {86-95},
}