Redundant Constraints

• One constraint C1 implies another C2 if the solutions of C1 are a subset of those of C2

• C2 is said to be redundant with respect to C1

Previous slide

Next slide

Back to first slide

View graphic version