Come esercizio educativo, sto cercando di implementare un risolutore di vincoli da zero. Tuttavia, dal momento che il campo è completamente nuovo per me, sono a corto di dove cominciare con la ricerca di fondo.
I problemi che intendo affrontare sono per lo più insiemi di disuguaglianze, come a < b && b < c , dove a , b , c sono numeri interi. (Anche se probabilmente non è pertinente alla domanda in questa fase, cerco di risolvere i problemi con altri tipi numerici in seguito).
Gli algoritmi che ho visto fino ad ora sono per lo più nelle categorie branch-and-bound e branch-and-cut . Tuttavia, se sto cercando un algoritmo generico ed efficiente, è questo ciò che voglio guardare? Sarebbe molto utile ricevere alcune linee guida qui.