R.: Resolution versus search: two strategies for sat (2000)

by I Rish, Dechter
Venue:J. Autom. Reason