Massimo Narizzano - Home Page

I've got my master's degree in computer science and engineering, at the University of Genoa in November 2000.

I am a PhD. Student in MRG-DIST University of Genoa and my advisor is E. Giunchiglia.

I am interesting in decision procedures for propositional satisfiability(SAT) and quantified Boolean formula satisfiability.

Actually I am developing QuBE a solver for QBF with E. Giunchiglia and A. Tacchella.
I am also working on SIM-API, a library for propositional satisfiability with E. Giunchiglia, A. Tacchella and M. Y. Vardi.

• News

Selected Publications

• Journal papers

  • E. Giunchiglia, M. Narizzano, A. Tacchella - Backjumping for Quantified Boolean Logic Satisfiability.
    In Artificial Intelligence (to appear)
  
  

• Conference and workshop papers

  • E. Giunchiglia, M. Narizzano, A. Tacchella - Learning for Quantified Boolean Logic Satisfiability.
    In Proc. 18th National Conference on Artificial Intelligence (AAAI - 02).
  • E. Giunchiglia, M. Narizzano, A. Tacchella - Backjumping for Quantified Boolean Logic Satisfiability.
    In Proc. Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01).
  • E. Giunchiglia, M. Narizzano, A. Tacchella - System Description: QuBE A system for deciding Quantified Boolean Formulas Satisfiability.
    In Proc. International Joint Conference on Automated Reasoning (IJCAR-01).
  • E. Giunchiglia, M. Narizzano and A. Tacchella - An analysis of backjumping and trivial truth in quantified boolean formulas satisfiability.
    In Proc. 7 Congresso dell'Associazione Italiana per l'Intelligenza Artificiale (AI*IA - 01)
  • E. Giunchiglia, M. Narizzano, A. Tacchella and M. Y. Vardi - Designing an efficient library for propositional satisfiability and beyond.
    In Proc. International Joint Conference on Automated Reasoning (IJCAR-01).
  • E. Giunchiglia, M. Narizzano, A. Tacchella and M. Y. Vardi - Towards an Efficient Library for SAT: a Manifesto.
    In Proc. IEEE Symposium on Logic in Computer Science (LICS-01)

Home address

Massimo Narizzano
via Aurelia 40
16031 Bogliasco, Genova
Italy

Office address

c/o MRG - DIST
viale F. Causa,15
16145 Genova, Italy
phone: +39-(0)10-3532150
phone: +39-(0)10-3532811
fax: +39-(0)10-3532948

e-mail: mox@dist.unige.it

home page: http://www.mrg.dist.unige.it/~mox Last modified: Fri Nov 15 2002