Constraint and Integer Programming: Toward a Unified Methodology - Michela Milano