Simulated Annealing
Noise model based on statistical mechanics.
Pick a random variable
d = change in number of unsatisfied clauses
If d < 0 make flip (“downward”)
else flip with probability e (“upward”).
Slowly decrease T from high temperature to near zero.