Algorithms for the Satisfiability problem: a survey (1997)

by J Gu, P W Purdom, J Franco, B Wah
Venue:DIMACS Series on Discrete Mathematics and Theoretical Computer Science 35:19-151, American Mathematical Society