Rudolf Adamkovič
Personal site
Up:
Computer science
[
Top
]
[
Contents
]
TSAT
A variant of
GSAT
that uses
a tabu list with the most recently
flipped
variables.
[23
]
Parameterization
Citation
© 2025 Rudolf Adamkovič under
GNU General Public License
version 3.
Made with
Emacs
and secret alien technologies of yesteryear.