79 citations · 114 across the 23 of their papers we have counts for
1 paper · 1 filter
I. P. Gent, T. Walsh
We describe an extensive study of search in GSAT, an approximation procedure for propositional satisfiability. GSAT performs greedy hill-climbing on the number of satisfied clauses…