Optimal myopic algorithms for random 3-SATDimitris AchlioptasGregory B. Sorkin2000Annual Symposium on Foundations of Computer Science - Proceedings