TY - RPRT TI - Going after the k-SAT Threshold AU - Amin Coja-Oghlan AU - Konstantinos Panagiotou PY - 2012 DO - 10.1145/2488608.2488698 UR - https://arxiv.org/abs/1212.1682 ID - 1212.1682 ER -