TY - RPRT TI - The backtracking survey propagation algorithm for solving random K-SAT problems AU - Raffaele Marino AU - Giorgio Parisi AU - Federico Ricci-Tersenghi PY - 2016 DO - 10.1038/ncomms12996 UR - https://arxiv.org/abs/1508.05117 ID - 1508.05117 ER -