A stochastic greedy local search for SAT that

repeatedly flips the variable with greatest net gain,

breaking ties randomly.

[1]

---