Intelligent Splitting for Disjunctive Numerical CSPs - Archive ouverte HAL
Communication Dans Un Congrès Année : 2006

Intelligent Splitting for Disjunctive Numerical CSPs

Résumé

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.
Fichier principal
Vignette du fichier
djb-intcp06.pdf (109.78 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00481596 , version 1 (06-05-2010)

Identifiants

  • HAL Id : hal-00481596 , version 1

Citer

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⟩
141 Consultations
161 Téléchargements

Partager

More