Solving Satisfiability with Less Searching (1984)

by P W Purdom
Venue:IEEE Transactions on Pattern Analysis and Machine Intelligence