ILOG CPLEX 11.0 User's Manual > Discrete Optimization > Logical Constraints in Optimization > How Are Logical Constraints Extracted?

Logical constraints are transformed automatically into equivalent linear formulations when they are extracted by an ILOG CPLEX algorithm. This transformation involves automatic creation by ILOG CPLEX of new variables and constraints. The transformation entails indicators as discussed in Using Indicator Constraints.