Effective Preprocessing with Hyper-Resolution and Equality Reduction. Bacchus, F. & Winter, J. In Proceedings of the 6th International Conference on Theory and Applications of Satisfiability Testing (SAT-2003), pages 341-355, 2003.
Effective Preprocessing with Hyper-Resolution and Equality Reduction [pdf]Paper  Effective Preprocessing with Hyper-Resolution and Equality Reduction [link]Link  bibtex   

Downloads: 0