Bruno Andreotti

According to our database, Bruno Andreotti authored at least 3 papers between 2001 and 2024.

Collaborative distances:

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

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