Solving satisfiability with less searching (1984)

by P W Purdom
Venue:IEEE transactions on pattern analysis and machine intelligence