%0 Journal Article %1 journals/cacm/BarbosaBCDKLNNOPRTZ23 %A Barbosa, Haniel %A Barrett, Clark W. %A Cook, Byron %A Dutertre, Bruno %A Kremer, Gereon %A Lachnitt, Hanna %A Niemetz, Aina %A Nötzli, Andres %A Ozdemir, Alex %A Preiner, Mathias %A Reynolds, Andrew %A Tinelli, Cesare %A Zohar, Yoni %D 2023 %J Commun. ACM %K dblp %N 10 %P 86-95 %T Generating and Exploiting Automated Reasoning Proof Certificates. %U http://dblp.uni-trier.de/db/journals/cacm/cacm66.html#BarbosaBCDKLNNOPRTZ23 %V 66

@article{journals/cacm/BarbosaBCDKLNNOPRTZ23, added-at = {2024-05-07T00:00:00.000+0200}, author = {Barbosa, Haniel and Barrett, Clark W. and Cook, Byron and Dutertre, Bruno and Kremer, Gereon and Lachnitt, Hanna and Niemetz, Aina and Nötzli, Andres and Ozdemir, Alex and Preiner, Mathias and Reynolds, Andrew and Tinelli, Cesare and Zohar, Yoni}, biburl = {https://www.bibsonomy.org/bibtex/22cc3949590402af7f288033936386059/dblp}, ee = {https://doi.org/10.1145/3587692}, interhash = {1ef267160b51cb28fcc4c348a3a6ebbd}, intrahash = {2cc3949590402af7f288033936386059}, journal = {Commun. ACM}, keywords = {dblp}, month = {October}, number = 10, pages = {86-95}, timestamp = {2024-05-13T07:45:44.000+0200}, title = {Generating and Exploiting Automated Reasoning Proof Certificates.}, url = {http://dblp.uni-trier.de/db/journals/cacm/cacm66.html#BarbosaBCDKLNNOPRTZ23}, volume = 66, year = 2023 }