FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
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: