Massimo Lauria

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

  • massimo.lauria@uniroma1.it
  • +39-06-49910496
  • Room n.9 - Floor 4th - Dept. Statistical Sciences
    • Office hours: Tue 14.00-16.00 (write email first)

News

  • Towards an Understanding of Polynomial Calculus: New Separations and Lower Bounds has been published in Theory of Computing.
  • Redundancy Rules for MaxSAT has been published in SAT 2025.
  • 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

Mail address

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