Rudolf Adamkovič Personal site


GSAT

A stochastic greedy local search for SAT that

repeatedly flips the variable with greatest net gain,

breaking ties randomly.

[20]


© 2025 Rudolf Adamkovič under GNU General Public License version 3.
Made with Emacs and secret alien technologies of yesteryear.