Chapter 2: Simplification, Optimization and Implication
Constraint operations: Simplification, Optimization and Implication