and easy distributions of SAT problems (1992)

by D Mitchell, B Selman, H Levesque, “Hard
Venue:in Proc. of AAAI. AAAI