In constraint satisfaction, constraint inference.

Some operations on constraints produce a new constraint that is a consequence of them. Constraint composition.

Constraint projection is satisfied.

Extended composition are all satisfied.

See also

• Constraint satisfaction problem

References