Abstract:
This talk will build on the previous one by presenting a number of techniques that are typically used by CP practitioners to solve problems more effectively. These techniques can be divided into two categories: those which can be applied when modeling the problem, and those which relate to the solving process. Both categories will be explored. Throughout the presentation we will use IBM's constraint programming solver, CP Optimizer, to illustrate how a user would either access or implement these techniques.