Evidence for Long-Tails in SLS Algorithms

Florian Wörz, Jan-Hendrik Lorenz

Stochastic local search (SLS) is a successful paradigm for solving the satisfiability problem of propositional logic. A recent development in this area involves solving not the ori…