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

  • Conditional Autarkies: Hard Formulas Made Easy has been published in SAT 2026.
  • 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.

Mail address

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