@inproceedings{trombettoni:hal-00486726, TITLE = {{Constructive Interval Disjunction}}, AUTHOR = {Trombettoni, Gilles and Chabert, Gilles}, URL = {https://hal.science/hal-00486726}, BOOKTITLE = {{CP'07 - 13th International Conference on Principles and Practice of Constraint Programming}}, ADDRESS = {Providence, United States}, EDITOR = {Christian Bessi{\`e}re}, PUBLISHER = {{Springer}}, SERIES = {LNCS}, VOLUME = {4741}, PAGES = {635-650}, YEAR = {2007}, DOI = {10.1007/978-3-540-74970-7\_45}, PDF = {https://hal.science/hal-00486726/file/trombe_chabert_cp07.pdf}, HAL_ID = {hal-00486726}, HAL_VERSION = {v1}, }