74 citations · 90 across the 3 of their papers we have counts for
1 paper · 1 filter
John Ardelius, Erik Aurell, Supriya Krishnamurthy
We study the structure of the solution space and behavior of local search methods on random 3-SAT problems close to the SAT/UNSAT transition. Using the overlap measure of similarit…