Bruno Andreotti

According to our database, Bruno Andreotti authored at least 6 papers between 2001 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2026

Reconstruction of SMT proofs with Lambdapi.

Alessio Coltellacci, Bruno Andreotti, Haniel Barbosa, Gilles Dowek, Stephan Merz

Acta Informatica, March, 2026

Producing Shorter Congruence Closure Proofs in a State-of-the-Art SMT Solver.

Bruno Andreotti, Haniel Barbosa

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2026

2025

Improving the SMT Proof Reconstruction Pipeline in Isabelle/HOL.

Hanna Lachnitt, Mathias Fleury, Haniel Barbosa, Jibiana Jakpor, Bruno Andreotti, Andrew Reynolds, Hans-Jörg Schurr, Clark W. Barrett, Cesare Tinelli

Proceedings of the 16th International Conference on Interactive Theorem Proving, 2025

2024

Towards Producing Shorter Congruence Closure Proofs in a State-of-the-art SMT Solver (Extended Abstract).

Bruno Andreotti, Haniel Barbosa, Oliver Flatt

Proceedings of the Joint Proceedings of the 9th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 9th Satisfiability Checking and Symbolic Computation Workshop (SC-Square), 2024

2023

Carcara: An Efficient Proof Checker and Elaborator for SMT Proofs in the Alethe Format.

Bruno Andreotti, Hanna Lachnitt, Haniel Barbosa

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2001

The Four Avalanche Fronts: a Test Case for Granular Surface Flow Modeling.

Stéphane Douady, Bruno Andreotti, Pierre Cladé, Adrian Daerr

Adv. Complex Syst., 2001