Random K-satisfiability problem: From an analytic solution to an efficient algorithm, (2002)

by M Mezard, R Zecchina
Venue:Phys. Rev. E