Constraint Propagation

A process in constraint solving where local inference rules are applied to constraints to iteratively reduce the domains of variables by eliminating values that cannot participate in any solution under the current constraints, often as a preprocessing or during search to prune the search space.

The iterative process of applying constraints in a constraint network to reduce variable domains by eliminating values that cannot be part of any solution, often implemented via arc consistency, forward checking, or generalized consistency algorithms.