2 papers
cond-mat.stat-mech2026
Targeting Clause Type Distributions: a Picklock for Random Satisfiability Problems
J. Schwardt, J. C. Budich
Optimization problems such as the NP-complete 3-SAT provide an important benchmark for the difficult task of finding ground-states in strongly correlated many-body systems with rug…
cs.AI2025
Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints
J. Schwardt, J. C. Budich
We introduce and benchmark a stochastic local search heuristic for the NP-complete satisfiability problem 3-SAT that drastically outperforms existing solvers in the notoriously dif…