Constraint Programming And Large Scale Discrete Optimization door