Finding hard instances of the satisfiability problem: a survey (1997)

by S A Cook, D G Mitchell
Venue:Pardalos (eds.): Satisfiability Problems: Theory and Applications, Vol.5. Americam Mathematical Society