Diagnosis
There is a maximum number of value assignment alternatives (rules) foran individual constraint. The number of value assignment alternativesis determined by the value inferences required and the use of thelogical operators OR and NOT.

Procedure
Divide the constraint into several simpler constraints.