Massimo Narizzano

DIST -Università di Genova Viale Causa 13 , 16145 Genova , Italy

1 paper in the IJCAI proceedings

IJCAI 2001

Backjumping for Quantified Boolean Logic Satisfiability

with Enrico Giunchiglia, Armando Tacchella

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings