David Machado, Jonathan González-García, Roberto Mulet. "Local equations describe unreasonably efficient stochastic algorithms in random K-SAT." Proceedings of the National Academy of Sciences, 2025. doi:10.1073/pnas.2510153122