Improved Linearization of Constraint Programming Models
Constraint Programming (CP) standardizes many specialized "global constraints" allowing high level modelling of combinatorial optimization and feasibility problems. Current Mixed Integer Linear Programming (MIP) technology lacks both a modelling language and a solving mechanism based on high level constraints.
CP