Florent Krzakala Lenka Zdeborová Phase Transitions and Computational Difficulty in Random Constraint Satisfaction Problems http://arxiv.org/abs/0711.0110 2007 CoRR abs/0711.0110 db/journals/corr/corr0711.html#abs-0711-0110 informal publication