Random Formulas, Monotone Circuits, and Interpolation
The intractability of resolution