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). https://doi.org/10.1073/pnas.2510153122