DoRon B. Motter, Igor L. Markov. A Compressed Breadth-First Search for Satisfiability. In David M. Mount, Clifford Stein, editors, Algorithm Engineering and Experiments, 4th International Workshop, ALENEX 2002, San Francicsco, CA, USA, January 4-5, 2002, Revised Papers. Volume 2409 of Lecture Notes in Computer Science, pages 29-42, Springer, 2002. [doi]
Abstract is missing.