Associate Professor at Department of Statistical Sciences of Sapienza Università di Roma.

• MaxSAT Resolution with Inclusion Redundancy has been published in SAT 2024.
• On vanishing sums of roots of unity in polynomial calculus and sum-of-squares has been published in Computational Complexity
• Circular (Yet Sound) Proofs in Propositional Logic has been published in Transactions on Computational Logic
• Verification and generation of unrefinable partitions is going to be published in Information Processing Letters

Massimo Lauria
Sapienza Università di Roma
Dipartimento di Scienze Statistiche
Piazzale Aldo Moro, 5
00185 Roma
Italy