Hard and Easy Distributions of SAT Problems
The intractability of resolution