Im ersten Teil dieses Kapitels werden Konsistenz- und
Suchverfahren zum Propagieren und Lösen von klassischen
Constraint-Problemen mit finiten Domänen behandelt. Dies beinhaltet
Heuristiken zur Optimierung der Lösungssuche. Neben den
Lösungsverfahren für binäre Constraint-Probleme werden außerdem
Verfahren für n-stellige Probleme vorgestellt. Im zweiten
Teil des Kapitels wird ein Überblick über Lösungsverfahren für
intervallwertige Constraint-Probleme gegeben. Neben
intervallarithmetischen Grundlagen beinhaltet dies
Splitting-Techniken und
Konsistenzalgorithmen, angewendet auf Intervalldomänen.