TY  - RPRT
TI  - Applying GSAT to Non-Clausal Formulas
AU  - R. Sebastiani
PY  - 1994
UR  - https://arxiv.org/abs/cs/9406102
ID  - cs/9406102
ER  -