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