TY - RPRT TI - An Empirical Analysis of Search in GSAT AU - I. P. Gent AU - T. Walsh PY - 1993 UR - https://arxiv.org/abs/cs/9309101 ID - cs/9309101 ER -