TY - RPRT TI - A better algorithm for random k-SAT AU - Amin Coja-Oghlan PY - 2009 DO - 10.1137/09076516x UR - https://arxiv.org/abs/0902.3583 ID - 0902.3583 ER -