751 citations · 3.2k across the 102 of their papers we have counts for
1 paper · 1 filter
John Ardelius, Erik Aurell
We study the behavior of ASAT, a heuristic for solving satisfiability problems by stochastic local search near the SAT/UNSAT transition. The heuristic is focused, i.e. only variabl…