Generating hard satisfiability problems (1996)

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