TY - RPRT TI - Frozen variables in random boolean constraint satisfaction problems AU - Michael Molloy AU - Ricardo Restrepo PY - 2012 UR - https://arxiv.org/abs/1209.4829 ID - 1209.4829 ER -