Finding Hard Instances of the Satisfiability Problem: A Survey (1997)

by S Cook, D Mitchell
Venue:In: Satisfiability Problem: Theory and Applications. DIMACS Series in DMTCS Vol. 35 AMS