Constraint and Integer Programming - Toward a Unified Methodology