Alexander Mozeika David Saad Jack Raymond Computing with Noise - Phase Transitions in Boolean Formulas http://arxiv.org/abs/0908.3981 2009 CoRR abs/0908.3981 db/journals/corr/corr0908.html#abs-0908-3981 informal publication