Other Applications Of GSAT
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)