TY  - RPRT
TI  - The decimation process in random k-SAT
AU  - Amin Coja-Oghlan
AU  - Angelica Y. Pachon-Pinzon
PY  - 2011
DO  - 10.1137/110842867
UR  - https://arxiv.org/abs/1102.3145
ID  - 1102.3145
ER  -