Ordonnancement, propagation de contraintes, recherche locale, Réparation de solutions, Réseaux d'inégalités, solveur.