João P. Marques Silva. Algebraic Simplification Techniques for Propositional Satisfiability. In Rina Dechter, editor, Principles and Practice of Constraint Programming - CP 2000, 6th International Conference, Singapore, September 18-21, 2000, Proceedings. Volume 1894 of Lecture Notes in Computer Science, pages 537-542, Springer, 2000. [doi]
Abstract is missing.