@misc{indiciae04569df1ad8a,
  title = {Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints},
  author = {J. Schwardt and J. C. Budich},
  year = {2025},
  doi = {10.1073/pnas.2517297122},
  url = {https://arxiv.org/abs/2506.15774},
  note = {Source identifier: 2506.15774}
}