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

doi:10.1145/3587692

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

Department of Computer Science

Bar-Ilan University

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	86-95
Number of pages	10
Journal	Communications of the ACM
Volume	66
Issue number	10
DOIs	https://doi.org/10.1145/3587692
State	Published - 22 Sep 2023

All Science Journal Classification (ASJC) codes

General Computer Science

Access to Document

10.1145/3587692

Cite this

@article{466431d70e814146ac1fbc71070ebdf3,

title = "Generating and Exploiting Automated Reasoning Proof Certificates",

author = "Haniel Barbosa and Clark Barrett and Byron Cook and Bruno Dutertre and Gereon Kremer and Hanna Lachnitt and Aina Niemetz and Andres N{\"o}tzli and Alex Ozdemir and Mathias Preiner and Andrew Reynolds and Cesare Tinelli and Yoni Zohar",

year = "2023",

month = sep,

day = "22",

doi = "10.1145/3587692",

language = "الإنجليزيّة",

volume = "66",

pages = "86--95",

journal = "Communications of the ACM",

issn = "0001-0782",

publisher = "Association for Computing Machinery (ACM)",

number = "10",

}

TY - JOUR

T1 - Generating and Exploiting Automated Reasoning Proof Certificates

AU - Barbosa, Haniel

AU - Barrett, Clark

AU - Cook, Byron

AU - Dutertre, Bruno

AU - Kremer, Gereon

AU - Lachnitt, Hanna

AU - Niemetz, Aina

AU - Nötzli, Andres

AU - Ozdemir, Alex

AU - Preiner, Mathias

AU - Reynolds, Andrew

AU - Tinelli, Cesare

AU - Zohar, Yoni

PY - 2023/9/22

Y1 - 2023/9/22

UR - http://www.scopus.com/inward/record.url?scp=85173787680&partnerID=8YFLogxK

U2 - 10.1145/3587692

DO - 10.1145/3587692

M3 - مقالة

SN - 0001-0782

VL - 66

SP - 86

EP - 95

JO - Communications of the ACM

JF - Communications of the ACM

IS - 10

ER -

Generating and Exploiting Automated Reasoning Proof Certificates

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Cite this