Dimitris Achlioptas, Yuval Peres
The threshold for random k-SAT is 2k (ln 2 — O(k))
STOC, 2003.
@inproceedings{STOC-2003-AchlioptasP, author = "Dimitris Achlioptas and Yuval Peres", booktitle = "{Proceedings of the 35th Annual ACM Symposium on Theory of Computing}", doi = "10.1145/780542.780577", isbn = "1-58113-674-9", pages = "223--231", publisher = "{ACM}", title = "{The threshold for random k-SAT is 2k (ln 2 — O(k))}", year = 2003, }