Hanna Lachnitt

Hanna Lachnitt

PhD student working on Automated Reasoning

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, Cesare Tinelli, and Yoni Zohar

Published in Commun. ACM, 2023

Recommended citation: Haniel Barbosa, Clark W. Barrett, Byron Cook, Bruno Dutertre, Gereon Kremer, Hanna Lachnitt, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Cesare Tinelli, and Yoni Zohar. “Generating and Exploiting Automated Reasoning Proof Certificates.” Commun. ACM, 2023. https://doi.org/10.1145/3587692

DOI

BibTeX
@article{DBLP:journals/cacm/BarbosaBCDKLNNOPRTZ23,
  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{\"{o}}tzli and
                  Alex Ozdemir and
                  Mathias Preiner and
                  Andrew Reynolds and
                  Cesare Tinelli and
                  Yoni Zohar},
  title        = {Generating and Exploiting Automated Reasoning Proof Certificates},
  journal      = {Commun. {ACM}},
  volume       = {66},
  number       = {10},
  pages        = {86--95},
  year         = {2023},
  url          = {https://doi.org/10.1145/3587692},
  doi          = {10.1145/3587692},
  timestamp    = {Sun, 12 Nov 2023 02:19:18 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/BarbosaBCDKLNNOPRTZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}