Ateet Bhalla, Inês Lynce, José T. de Sousa, João P. Marques Silva. Heuristic-Based Backtracking for Propositional Satisfiability. In Fernando Moura-Pires, Salvador Abreu, editors, Progress in Artificial Intelligence, 11th Protuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal, December 4-7, 2003, Proceedings. Volume 2902 of Lecture Notes in Computer Science, pages 116-130, Springer, 2003. [doi]
Abstract is missing.