Generating hard satisfiability problems (1996)

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