External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Generating and Exploiting Automated Reasoning Proof Certificates

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]

Authors

Haniel Barbosa

This author has not been identified. Look up 'Haniel Barbosa' in Google

Clark W. Barrett

This author has not been identified. Look up 'Clark W. Barrett' in Google

Byron Cook

This author has not been identified. Look up 'Byron Cook' in Google

Bruno Dutertre

This author has not been identified. Look up 'Bruno Dutertre' in Google

Gereon Kremer

This author has not been identified. Look up 'Gereon Kremer' in Google

Hanna Lachnitt

This author has not been identified. Look up 'Hanna Lachnitt' in Google

Aina Niemetz

This author has not been identified. Look up 'Aina Niemetz' in Google

Andres Nötzli

This author has not been identified. Look up 'Andres Nötzli' in Google

Alex Ozdemir

This author has not been identified. Look up 'Alex Ozdemir' in Google

Mathias Preiner

This author has not been identified. Look up 'Mathias Preiner' in Google

Andrew Reynolds 0001

This author has not been identified. Look up 'Andrew Reynolds 0001' in Google

Cesare Tinelli

This author has not been identified. Look up 'Cesare Tinelli' in Google

Yoni Zohar

This author has not been identified. Look up 'Yoni Zohar' in Google
runs on