Personal website Rudolf Adamkovič

Home / Computer science


TSAT

A variant of GSAT that uses

a tabu list with the most recently flipped variables.

(Mazure, Saïs, and Grégoire 1997)



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