Schwardt, J., Budich, J. C. (2025). Advancing stochastic 3-SAT solvers by dissipating oversatisfied constraints. Proceedings of the National Academy of Sciences. https://doi.org/10.1073/pnas.2517297122