Constraint propagation in CP Optimizer

CP Optimizer solves a model using constraint propagation and constructive search with search strategies.

Overview
CP Optimizer solves a model using constraint propagation and constructive search with search strategies.
Domain reduction
Constraint propagation reduces the domains of decision variables.
Constraint propagation
Constraint propagation is the process of communicating the domain reduction of a decision variable to all of the constraints that are stated over this variable.
Propagation of arithmetic constraints
Propagation of arithmetic constraints works to reduce the bounds of the incident decision variables.
Propagation of logical constraints
Domain reduction of decision variables incident on logical constraints are propagated using the truth values of the subconstraints.
Propagation of specialized constraints and expressions
CP Optimizer provides tailored constraint propagation algorithms for specialized constraints and expressions.
Constraint aggregation
CP Optimizer may aggregate constraints to improve the efficiency of propagation.

Parent topic: CP Optimizer User's Manual