The Decimation Process in Random k-SAT

Amin Coja-Oghlan, Angelica Y. Pachon-Pinzon. The Decimation Process in Random k-SAT. SIAM J. Discrete Math., 26(4):1471-1509, 2012. [doi]

Abstract

Abstract is missing.