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)

Formal methods: foundations and applications : 26th Brazilian symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023 : proceedings

Veröffentlicht 2024

Scalable Algorithms for Abduction via Enumerative Syntax-Guided Synthesis

von Reynolds, Andrew
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 1 (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)