Constraint Propagation

Ein Prozess in der Constraint‑Lösung, bei dem lokale Inferenzregeln auf Constraints angewendet werden, um iterativ die Domänen von Variablen zu reduzieren, indem Werte eliminiert werden, die unter den aktuellen Constraints in keiner Lösung teilnehmen können, häufig als Vorverarbeitung oder während der Suche zur Reduktion des Suchraums.

Der iterative Prozess, Einschränkungen in einem Constraint-Netzwerk anzuwenden, um Variablendomänen zu verkleinern, indem Werte eliminiert werden, die in keiner Lösung vorkommen können; häufig realisiert durch Bogenkonsistenz, Forward Checking oder verallgemeinerte Konsistenzalgorithmen.