Carcara: An efficient proof checker and elaborator for SMT proofs in the Alethe format

von Andreotti, Bruno
Veröffentlicht in TACAS (29. : 2023 : Paris) Tools and algorithms for the construction and analysis of systems ; Part 1 (2023)

Formalizing Graph Trail Properties in Isabelle/HOL

von Kovács, Laura
Veröffentlicht in CICM (13. : 2020 : Online) Intelligent computer mathematics (2020)

Flexible Proof Production in an Industrial-Strength SMT Solver

von Barbosa, Haniel
Veröffentlicht in IJCAR (11. : 2022 : Haifa) Automated reasoning (2022)

cvc5: A Versatile and Industrial-Strength SMT Solver

von Barbosa, Haniel
Veröffentlicht in TACAS (28. : 2022 : München) Tools and algorithms for the construction and analysis of systems ; Part 1 (2022)