3 citations · 3 across the 1 of their papers we have counts for
1 paper
R. Sebastiani
In this paper we describe how to modify GSAT so that it can be applied to non-clausal formulas. The idea is to use a particular ``score'' function which gives the number of clauses…