Personal website Rudolf Adamkovič

Home / Computer science


HSAT

A variant of GSAT that

breaks ties in favor of the least recently flipped variable

in the current try.

(Gent and Walsh 1993)



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