Towards Solving NP-Complete and Other Hard Problems Efficiently in Practice
Cet article propose un cadre théorique pour l'algorithmique finie et une approche générique permettant de découvrir automatiquement des algorithmes efficaces pour résoudre des problèmes NP-complets dans des cas pratiques à taille d'entrée bornée, tout en illustrant cette méthode sur la satisfaisabilité, la compression de chaînes et la factorisation d'entiers.