3.7.49. Configuration problem

A constraint that was used for modelling configuration problems. Within the context of configuration problems [Subbarayan05], it is crucial to identify all variable -value pairs which do not participate to any solution. This stems from the fact that one wants typically to avoid proposing invalid choices to the user of such configuration systems.

Note also that open constraints are also useful in the context of configuration problems.