Programmation par Contraintes

Forward Checking

Technique d'élagage proactive qui, lors de l'assignation d'une variable, vérifie et ajuste immédiatement les domaines des variables non encore assignées.

← Back