Achioptas, D. and Sorkin, Gregory B. (2000) Optimal myopic algorithms for random 3-SAT. In: 41st Annual Symposium on Foundations of Computer Science, 2000-11-12 - 2000-11-14.