Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella. An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability. In Floriana Esposito, editor, AI*IA 2001: Advances in Artificial Intelligence, 7th Congress of the Italian Association for Artificial Intelligence, Bari, Italy, September 25-28, 2001, Proceedings. Volume 2175 of Lecture Notes in Computer Science, pages 111-122, Springer, 2001. [doi]
Abstract is missing.