Generating Hard Satisfiability Problems (1996)

by B Selman, D G Mitchell, H J Levesque
Venue:Artificial Intelligence