The backtracking survey propagation algorithm for solving random K-SAT problems - Marino, Raffaele (Nat Commun, 2016)