Hard and easy distributions of SAT problems. Forthcoming (1992)

by D Mitchell, B Selman, H J Levesque