Flexible Proof Production in an Industrial-Strength SMT Solver
Authors: Haniel Barbosa, Andrew Reynolds, Gereon Kremer, Hanna Lachnitt, Aina Niemetz, Andres Noetzli, Alex Ozdemir, Mathias Preiner, Arjun Viswanathan, Scott Viteri, Yoni Zohar, Cesare Tinelli and Clark Barrett
Paper Information
| Title: | Flexible Proof Production in an Industrial-Strength SMT Solver |
| Authors: | Haniel Barbosa, Andrew Reynolds, Gereon Kremer, Hanna Lachnitt, Aina Niemetz, Andres Noetzli, Alex Ozdemir, Mathias Preiner, Arjun Viswanathan, Scott Viteri, Yoni Zohar, Cesare Tinelli and Clark Barrett |
| Proceedings: | IJCAR 2022 Proceedings of IJCAR 2022 |
| Editors: | Laura Kovacs, Jasmin Blanchette and Dirk Pattinson |
| Keywords: | SMT, Proofs, Verification |
| Pages: | 21 |
| Talk: | Aug 10 12:00 (Session 112D: Decidable Logics and Models) |
| Paper: |  |