Machado, D., González-García, J., Mulet, R. (2025). Local equations describe unreasonably efficient stochastic algorithms in random K-SAT. Proceedings of the National Academy of Sciences. https://doi.org/10.1073/pnas.2510153122