74 citations · 114 across the 8 of their papers we have counts for
1 paper · 2 filters
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…