Rudy’s OBTF Rudolf Adamkovič

Home / Computer science


TSAT

A variant of GSAT that uses

a tabu list with the most recently flipped variables.

[1]



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