Other Applications Of GSAT
VLSI circuit diagnosis SAT formulation by Larrabee (1992) approx. 10,000 var 5,000 clause problems
Planning and scheduling approx. 20,000 var 100,000 clause problems (Crawford and Baker 1994)
Finite algebra search for algebraic structures GSAT+walk outperforms systematic method on large instances. Currently exploring remaining open problems. (Fujita et al. 1993)