Algorithms for the satisfiability (SAT) problem: a survey (1997)

by J Gu, P Purdom, J Franco, B Wah
Venue:DIMACS Series in Discrete Mathematics and Theoretical Computer Science, AMS