Constraint Programming And Large Scale Discrete Optimization by