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

by J Gu, P W Purdom, J Franco, B J Wah
Venue:In Satisfiability (SAT) Problem, DIMACS