La mayoría de los algoritmos son, por lo tanto, heurísticos, pero se han desarrollado algunos que garantizan la convergencia a (al menos) maximizadores locales de las funciones de puntuación, y que son prácticos.