Advancing stochastic 3-SAT solvers by dissipating oversatisfied constraints - Joachim Schwardt; Jan Carl Budich (Proceedings of the National Academy of Sciences, 2025)