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…