Stem gsat$ (all stems)
3 papers:
- SAT-2009-Skvortsov #analysis
- A Theoretical Analysis of Search in GSAT (ESS), pp. 265–275.
- SAT-2001-Roll #parallel
- Criticality and Parallelism in GSAT (AR), pp. 150–161.
- KR-1994-GinsbergM #backtracking
- GSAT and Dynamic Backtracking (MLG, DAM), pp. 226–237.