Hard and Easy Distributions of SAT Problems.

David G. Mitchell, Bart Selman, Hector J. Levesque

Browse the full AAAI paper archive.