TY - RPRT TI - The number of satisfying assignments of random regular k-SAT formulas AU - Amin Coja-Oghlan AU - Nick Wormald PY - 2016 UR - https://arxiv.org/abs/1611.03236 ID - 1611.03236 ER -