An empirical analysis of search in GSAT - Gent, Ian P.; Walsh, Toby (1993)