Massimo Michelutti

According to our database, Massimo Michelutti authored at least 2 papers between 2024 and 2026.

Collaborative distances:

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

2026

d-DNNF Modulo Theories: A General Framework for Polytime SMT Queries.

Gabriele Masina, Emanuele Civini, Massimo Michelutti, Giuseppe Spallitta, Roberto Sebastiani

CoRR, March, 2026

2024

Canonical Decision Diagrams Modulo Theories.

Massimo Michelutti, Gabriele Masina, Giuseppe Spallitta, Roberto Sebastiani

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024