TY - RPRT TI - Optimal Testing for Planted Satisfiability Problems AU - Quentin Berthet PY - 2015 UR - https://arxiv.org/abs/1401.2205 ID - 1401.2205 ER -