“…Due to the complexity of constraints relating the decision variables to variables representing probabilities, there was little constraint propagation, and, essentially, search was required to explore the entire branch-and-bound tree. As a consequence, in the following two sections we examine dominance rules (Beck & Prestwich, 2004;Smith, 2005) and shaving (Caseau & Laburthe, 1996;Martin & Shmoys, 1996), two stronger inference forms used in CP. In Section 8, we investigate why the models without dominance rules and shaving need to search the whole tree in order to prove optimality, and also discuss differences in the performance of the models based on our experimental results.…”