TY  - RPRT
TI  - The Threshold for Random k-SAT is 2^k ln2 - O(k)
AU  - Dimitris Achlioptas
AU  - Yuval Peres
PY  - 2003
UR  - https://arxiv.org/abs/cs/0305009
ID  - cs/0305009
ER  -