Constraint Integer Programming: Techniques and Applications