1. Achlioptas, D., Sorkin, G.B.: Optimal myopic algorithms for random 3-SAT. In: IEEE Symposium on Foundations of Computer Science, pp. 590–600 (2000)
2. Alekhnovich, M., Ben-Sasson, E.: Analysis of the random walk algorithm on random 3-CNFs Technical Report ECCC TR04-016 (2002)
3. Lecture Notes in Computer Science;A.A. Bulatov,2006
4. Flaxman, A.: A spectral technique for random satisfiable 3-cnf formulas. In: SODA 2003, pp. 357–363 (2003)
5. Koutsoupias, E., Papadimitriou, C.: On the greedy algorithm for satisfiability. Information Processing Letters 43(1), 53–55 (1992)