Equation ( ) represents the unique assignment constraint for every operation. Equations ( ) and ( ) represent the time lag constraints. Equations ( ) to (12) establish z ijm as the indicator for overlap between O i and O j on the same M m . Note for the same (i, j, m),