

![0_image_0.png](0_image_0.png)

instance the quasi-solutions which WSat visits form interconnected areas of the search space such that local search can always move to solution from them, without often moving to an assignment where many clauses are unsatised. The evidence for this is simply that WSat analysis of GSat search spaces that in Random 3-SAT, local minima where few clauses Tf5 and the nearest solution is an accurate indicator of how extensive the quasi-solution area is. This interpretation suggests why hdns Tf5

; C is so strongly correlated with cost:
