Mind the Gaps: A New Splitting Strategy for Consistency Techniques

Classical methods for solving numerical CSPs are based on a branch and prune algorithm, a dichotomic enumeration process interleaved with a consistency filtering algorithm. In many interval solvers, the pruning step is based on local consistencies or partial consistencies. The associated pruning algorithms compute numerous data required to identify gaps within some domains, i.e. inconsistent intervals strictly included in the domain. However, these gaps are only used to compute the smallest approximation of the box enclosing all the solutions. This paper introduces a search strategy, named  ¢¡£¥¤§¦©¨¥ , that takes advantage of the gaps identified during the filtering process. Gaps are collected with a negligible overhead, and are used to select the splitting direction as well as to define relevant cutting points within the domain. Splitting the domain by removing such gaps definitely reduces the search space. It also helps to discard some redundant solutions an...

• Type: Conference
• Year: 2005
• Where: CP
• Authors: Heikel Batnini, Claude Michel, Michel Rueher
• Keywords: Associated Pruning Algorithms, Consistency filtering Algorithm, CP 2005, Dichotomic Enumeration Process, Programming Languages