Conclusions Lesson 1: When constraints are difficult to specify in a particular model, we should consider channelling into a second model in which these constraints are easier to specify and reason about Lesson 1: When constraints are difficult to specify in a particular model, we should consider channelling into a second model in which these constraints are easier to specify and reason about Lesson 2: Lesson 2: CP models may excel in finding optimal or near-optimal solutions CP models may excel in finding optimal or near-optimal solutions ILP models may be better for proving optimality ILP models may be better for proving optimality
{}