Lenka Zdeborová Florent Krzakala Quiet Planting in the Locked Constraint Satisfaction Problems http://arxiv.org/abs/0902.4185 2009 CoRR abs/0902.4185 db/journals/corr/corr0902.html#abs-0902-4185 informal publication