Circumspect descent prevails in solving random constraint satisfaction problems

Mikko Alava, John Ardelius, Erik Aurell +4

We study the performance of stochastic local search algorithms for random instances of the $K$-satisfiability ($K$-SAT) problem. We introduce a new stochastic local search algorith…