Joachim Schwardt, Jan Carl Budich. "Advancing stochastic 3-SAT solvers by dissipating oversatisfied constraints." Proceedings of the National Academy of Sciences, 2025. doi:10.1073/pnas.2517297122