Haniel Barbosa, Andrew Reynolds 0001, Gereon Kremer, Hanna Lachnitt, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Arjun Viswanathan, Scott Viteri, Yoni Zohar, Cesare Tinelli, Clark W. Barrett. Flexible Proof Production in an Industrial-Strength SMT Solver. In Jasmin Blanchette, Laura Kovács, Dirk Pattinson, editors, Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings. Volume 13385 of Lecture Notes in Computer Science, pages 15-35, Springer, 2022. [doi]
@inproceedings{BarbosaRKLNNOPV22,
title = {Flexible Proof Production in an Industrial-Strength SMT Solver},
author = {Haniel Barbosa and Andrew Reynolds 0001 and Gereon Kremer and Hanna Lachnitt and Aina Niemetz and Andres Nötzli and Alex Ozdemir and Mathias Preiner and Arjun Viswanathan and Scott Viteri and Yoni Zohar and Cesare Tinelli and Clark W. Barrett},
year = {2022},
doi = {10.1007/978-3-031-10769-6_3},
url = {https://doi.org/10.1007/978-3-031-10769-6_3},
researchr = {https://researchr.org/publication/BarbosaRKLNNOPV22},
cites = {0},
citedby = {0},
pages = {15-35},
booktitle = {Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings},
editor = {Jasmin Blanchette and Laura Kovács and Dirk Pattinson},
volume = {13385},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-10769-6},
}