Narizzano, Massimo

3 publications

JAIR 2006 Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella

AAAI 2002 Learning for Quantified Boolean Logic Satisfiability Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella

IJCAI 2001 Backjumping for Quantified Boolean Logic Satisfiability Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella