Alessio Coltellacci

According to our database, Alessio Coltellacci authored at least 5 papers between 2023 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

Reconstructing SMT Proofs in Lambdapi. (Reconstruction des preuves SMT dans Lambdapi).

Alessio Coltellacci

PhD thesis, 2026

2025

Checking Linear Integer Arithmetic Proofs in Lambdapi.

Alessio Coltellacci, Stephan Merz

Proceedings of the Frontiers of Combining Systems - 15th International Symposium, 2025

2024

Reconstruction of SMT Proofs with Lambdapi.

Alessio Coltellacci, Stephan Merz, Gilles Dowek

Proceedings of the 22nd International Workshop on Satisfiability Modulo Theories co-located with the 36th International Conference on Computer Aided Verification (CAV 2024), 2024

2023

Reconstruction of TLAPS Proofs Solved by VeriT in Lambdapi.

Alessio Coltellacci

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023