The SAT Phase Transition
A Computing Procedure for Quantification Theory