TY  - RPRT
TI  - Random k-SAT and the Power of Two Choices
AU  - Will Perkins
PY  - 2013
UR  - https://arxiv.org/abs/1209.5313
ID  - 1209.5313
ER  -