Massimo Narizzano (narizzano)
Beiträge zu Philosophie.ch
No contributions yet
Bibliography
Giunchiglia, Enrico, Narizzano, Massimo and Tacchella, Armando. 2003. “Backjumping for Quantified Boolean Logic Satisfiability.” Artificial Intelligence 145(1–2): 99–120.