Local equations describe unreasonably efficient stochastic algorithms in random K-SAT - David Machado; Jonathan González-García; Roberto Mulet (Proceedings of the National Academy of Sciences, 2025)