Redundant Constraints

• We can remove a primitive constraint that is redundant with respect to the rest of the constraint

Definitely produces a simpler constraint

Previous slide

Next slide

Back to first slide

View graphic version