The SAT Phase Transition
Hard and Easy Distributions of SAT Problems