Up: Computer science [Top][Contents]
A stochastic greedy local search for SAT that
repeatedly flips the variable with greatest net gain,
breaking ties randomly.
[20]