 |
Communication dans un congrès
Adaptive Constructive Interval Disjunction
Abstract : An operator called CID and an efficient variant 3BCID were proposed in 2007. For numerical CSPs handled by interval methods, these operators compute a partial consistency equivalent to Partition-1-AC for discrete CSPs. The two main parameters of CID are the number of times the main CID procedure is called and the maximum number of sub-intervals treated by the procedure. The 3BCID operator is state-of-the- art in numerical CSP solving, but not in constrained global optimization. This paper proposes an adaptive variant of 3BCID. The number of variables handled is auto-adapted during the search, the other parameters are fixed and robust to modifications. On a representative sample of instances, ACID appears to be the best approach in solving and optimization, and has been added to the default strategies of the Ibex interval solver.
Keywords :
Interval constraint programming
Littérature citée [13 références]
https://hal-enpc.archives-ouvertes.fr/hal-00936654
Contributeur : Bertrand Neveu <>
Soumis le : lundi 27 janvier 2014 - 10:39:58
Dernière modification le : lundi 11 janvier 2021 - 17:24:06
Archivage à long terme le : : dimanche 27 avril 2014 - 22:31:21
Contributeur : Bertrand Neveu <>
Soumis le : lundi 27 janvier 2014 - 10:39:58
Dernière modification le : lundi 11 janvier 2021 - 17:24:06
Archivage à long terme le : : dimanche 27 avril 2014 - 22:31:21
Fichier
ictai2013.pdf
Fichiers produits par l'(les) auteur(s)