You are about to access our book library "Constraint and Integer Programming: Toward a Unified Methodology full version" .