TY - RPRT TI - Some remarks on the survey decimation algorithm for K-satisfiability AU - Giorgio Parisi PY - 2003 UR - https://arxiv.org/abs/cs/0301015 ID - cs/0301015 ER -