Implementing the Davis-Putnam method (2000)

by H ZHANG, M STICKEL
Venue:Proceedings of SAT 2000