Globalizing Constraint Models


We present a method that, given a constraint model, suggests global constraints to replace parts of it. This helps non-expert users to write higher-level models that are easier to reason about and may result in better solving performance. Our method exploits the structure of the model by considering combinations of the constraints, collections of variables… (More)
DOI: 10.1007/978-3-642-40627-0_34


6 Figures and Tables