About me

Hi! My name is Massimo Lauria and I am a Researcher at Department of Statistical Sciences of Sapienza - Università di Roma.


  • Clique is hard on Average for Regular Resolution accepted at STOC 2018
  • Invited speaker at the special session on SAT solving at CiE 2018
  • Member of the Program Committees of IJCAI-ECAI 2018 and SAT 2018

Mail address

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