Resolution versus Search: Two Strategies for SAT (2000)

by I Rish, R Dechter
Venue:Journal of Automated Reasoning