Login / Signup
Bruno Andreotti
ORCID
Publication Activity (10 Years)
Years Active: 2001-2024
Publications (10 Years): 2
Top Topics
Formal Proofs
Automated Theorem Provers
Mathematical Proofs
Metadata
Top Venues
TACAS (1)
PAAR+SC²@IJCAR
</>
Publications
</>
Bruno Andreotti
,
Haniel Barbosa
,
Oliver Flatt
Towards Producing Shorter Congruence Closure Proofs in a State-of-the-art SMT Solver (Extended Abstract).
PAAR+SC²@IJCAR
(2024)
Bruno Andreotti
,
Hanna Lachnitt
,
Haniel Barbosa
Carcara: An Efficient Proof Checker and Elaborator for SMT Proofs in the Alethe Format.
TACAS (1)
(2023)
Stéphane Douady
,
Bruno Andreotti
,
Pierre Cladé
,
Adrian Daerr
The Four Avalanche Fronts: a Test Case for Granular Surface Flow Modeling.
Adv. Complex Syst.
4 (4) (2001)