---

GSAT

A stochastic greedy local search for SAT that

repeatedly flips the variable with greatest net gain,

breaking ties randomly.

[20]

• Name
• Algorithm
• Variants
• Alternatives
• Citation