Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints. - J. Schwardt; Jan Carl Budich (CoRR, 2025)