Intelligent Splitting for Disjunctive Numerical CSPs

Thomas Douillard (1) , Christophe Jermann (1) , Frédéric Benhamou (1)

1 LINA - Laboratoire d'Informatique de Nantes Atlantique

Disjunctions in numerical CSPs appear in applications such as Design, Biology or Control. Generalized solving techniques have been proposed to handle these disjunctions in a Branch&Prune fashion. However, they focus essentially on the pruning operation. In this paper, we present experimental evidences that significant performance gains can be expected by exploiting the disjunctions in the branching operation.

Domaines: Intelligence artificielle [cs.AI]

Thomas Douillard, Christophe Jermann, Frédéric Benhamou. Intelligent Splitting for Disjunctive Numerical CSPs. Third international workshop on interval analysis, constraint propagation and applications (IntCP), 2006, France. pp.33--37. ⟨hal-00481596⟩