Constraint Programming and Large Scale Discrete Optimization