Analytic and Algorithmic Solution of Random Satisfiability problems

Mezard, M., Parisi, G., Zecchina, R.

Science 297 (2002) 812