Gonzalo Escalada-Imaz, Rodolfo Torres-Velázquez. Complexity Issues in the Davis and Putnam Scheme. In Stefano A. Cerri, Danail Dochev, editors, Artificial Intelligence: Methodology, Systems, and Applications, 9th International Conference, AIMSA 2000, Varna, Bulgaria, September 20-23, 2000, Proceedings. Volume 1904 of Lecture Notes in Computer Science, pages 261-271, Springer, 2000. [doi]
Abstract is missing.