Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella. Monotone Literals and Learning in QBF Reasoning. In Mark Wallace, editor, Principles and Practice of Constraint Programming - CP 2004, 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 1, 2004, Proceedings. Volume 3258 of Lecture Notes in Computer Science, pages 260-273, Springer, 2004. [doi]
Abstract is missing.