Implementing the Davis-Putnam Method (2000)

by Hantao Zhang, Mark E. Stickel
Venue:Journal of Automated Reasoning