Adaptive Constructive Interval Disjunction

Bertrand Neveu 1, 2, 3 Gilles Trombettoni 4
2 IMAGINE [Marne-la-Vallée]
LIGM - Laboratoire d'Informatique Gaspard-Monge, CSTB - Centre Scientifique et Technique du Bâtiment, ENPC - École des Ponts ParisTech
4 COCONUT - Agents, Apprentissage, Contraintes
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [13 references]  Display  Hide  Download

https://hal-enpc.archives-ouvertes.fr/hal-00936654
Contributor : Bertrand Neveu <>
Submitted on : Monday, January 27, 2014 - 10:39:58 AM
Last modification on : Tuesday, December 18, 2018 - 11:55:10 AM
Long-term archiving on : Sunday, April 27, 2014 - 10:31:21 PM

File

ictai2013.pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

538

Files downloads

249