Personal website Rudolf Adamkovič

Home / Computer science / TSAT


Parameterization

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

the optimal length of the tabu list,

given \(n\) variables, to be

\begin{equation*} 0.01875 n + 2.8125. \end{equation*}

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