Adaptive Constructive Interval Disjunction - École des Ponts ParisTech Access content directly
Conference Papers Year : 2014

Adaptive Constructive Interval Disjunction


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.
Fichier principal
Vignette du fichier
ictai2013.pdf (166.82 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00936654 , version 1 (27-01-2014)



Bertrand Neveu, Gilles Trombettoni. Adaptive Constructive Interval Disjunction. ICTAI: International Conference on Tools with Artificial Intelligence, Nov 2013, Washington, DC, United States. pp.900-906, ⟨10.1109/ICTAI.2013.138⟩. ⟨hal-00936654⟩
326 View
360 Download



Gmail Facebook X LinkedIn More