---

GSAT

A stochastic greedy local search for SAT that

repeatedly flips the variable with greatest net gain,

breaking ties randomly.

(Selman et al., 1992)

• Name
• Algorithm
• Variants
• Alternatives
• Citation