Applying GSAT to non-clausal formulas (1994)

by R Sebastiani
Venue:Journal of Artificial Intelligence Research