Constructive Interval Disjunction

Abstract : This paper presents two new filtering operators for numerical CSPs (systems with constraints over the reals) based on constructive disjunction, as well as a new splitting heuristic. The fist operator (CID) is a generic algorithm enforcing constructive disjunction with intervals. The second one (3BCID) is a hybrid algorithm mixing constructive disjunction and shaving, another technique already used with numerical CSPs through the algorithm 3B. Finally, the splitting strategy learns from the CID filtering step the next variable to be split, with no overhead. Experiments have been conducted with 20 benchmarks. On several benchmarks, CID and 3BCID produce a gain in performance of orders of magnitude over a standard strategy. CID compares advantageously to the 3B operator while being simpler to implement. Experiments suggest to fix the CID-related parameter in 3BCID, offering thus to the user a promising variant of 3B.
Type de document :
Communication dans un congrès
Christian Bessière. CP'07 - 13th International Conference on Principles and Practice of Constraint Programming, 2007, Providence, United States. Springer, 4741, pp.635-650, 2007, LNCS. <10.1007/978-3-540-74970-7_45>
Liste complète des métadonnées


https://hal.archives-ouvertes.fr/hal-00486726
Contributeur : Gilles Chabert <>
Soumis le : mercredi 26 mai 2010 - 14:35:01
Dernière modification le : mercredi 15 avril 2015 - 16:08:08
Document(s) archivé(s) le : jeudi 16 septembre 2010 - 15:21:54

Fichier

trombe_chabert_cp07.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Gilles Trombettoni, Gilles Chabert. Constructive Interval Disjunction. Christian Bessière. CP'07 - 13th International Conference on Principles and Practice of Constraint Programming, 2007, Providence, United States. Springer, 4741, pp.635-650, 2007, LNCS. <10.1007/978-3-540-74970-7_45>. <hal-00486726>

Partager

Métriques

Consultations de
la notice

239

Téléchargements du document

100