Generating hard satisfiability problems (1996)

by D Mitchell, B Selman, H J Levesque
Venue:in Proc. AAAI-92