User Cut and Lazy Constraint Pools

User cuts are those cuts that a user defines based on information that the user already has about the problem. Lazy constraints are constraints that the user knows are unlikely to be violated, and in consequence, the user wants them applied lazily, that is, only as necessary or not before needed. User cuts can be grouped together in a pool of user cuts. Likewise, lazy constraints can also be grouped into a pool of lazy constriants. This chapter covers those topics.