Massimo Narizzano

Bibliography

Giunchiglia, Enrico, Narizzano, Massimo and Tacchella, Armando. 2003. “Backjumping for Quantified Boolean Logic Satisfiability.” Artificial Intelligence 145(1–2): 99–120.