{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,16]],"date-time":"2026-02-16T20:58:55Z","timestamp":1771275535213,"version":"3.50.1"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2015,2,5]],"date-time":"2015-02-05T00:00:00Z","timestamp":1423094400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Constraints"],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1007\/s10601-015-9180-3","type":"journal-article","created":{"date-parts":[[2015,2,4]],"date-time":"2015-02-04T05:47:02Z","timestamp":1423028822000},"page":"452-467","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Adaptive constructive interval disjunction: algorithms and experiments"],"prefix":"10.1007","volume":"20","author":[{"given":"Bertrand","family":"Neveu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gilles","family":"Trombettoni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ignacio","family":"Araya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,2,5]]},"reference":[{"key":"9180_CR1","doi-asserted-by":"crossref","unstructured":"Araya, I., Trombettoni, G., Neveu, B. (2010). Exploiting monotonicity in interval constraint propagation. In Proceeding of AAAI (pp. 9\u201314).","DOI":"10.1609\/aaai.v24i1.7541"},{"key":"9180_CR2","doi-asserted-by":"crossref","unstructured":"Araya, I., Trombettoni, G., Neveu, B. (2010). Making adaptive an interval constraint propagation algorithm exploiting monotonicity. In Proceedings of CP, Constraint Programming, LNCS 6308 (pp. 61\u201368). Springer.","DOI":"10.1007\/978-3-642-15396-9_8"},{"key":"9180_CR3","doi-asserted-by":"crossref","unstructured":"Araya, I., Trombettoni, G., Neveu, B. (2012). A Contractor based on convex interval Taylor. In CPAIOR 2012, no. 7298 in LNCS (pp. 1\u201316).","DOI":"10.1007\/978-3-642-29828-8_1"},{"key":"9180_CR4","doi-asserted-by":"crossref","unstructured":"Balafrej, A., Bessiere, C., Bouyakhf, E., Trombettoni, G. (2014). Adaptive singleton-based consistencies. In AAAI (pp. 2601\u20132607). AAAI Press.","DOI":"10.1609\/aaai.v28i1.9120"},{"key":"9180_CR5","unstructured":"Benhamou, F., Goualard, F., Granvilliers, L., Puget, J.F. (1999). Revising hull and box consistency. In Proceedings of ICLP (pp. 230\u2013244)."},{"key":"9180_CR6","doi-asserted-by":"crossref","unstructured":"Bennaceur, H., & Affane, M.S. (2001). Partition-k-AC: an efficient filtering technique combining domain partition and arc consistency. In Proceedings of CP (pp. 560\u2013564).","DOI":"10.1007\/3-540-45578-7_39"},{"key":"9180_CR7","unstructured":"Bessiere, C., & Debruyne, R. (2005). Optimal and suboptimal singleton arc consistency algorithms. In Proceedings of IJCAI (pp. 54\u201359)."},{"key":"9180_CR8","doi-asserted-by":"crossref","first-page":"1079","DOI":"10.1016\/j.artint.2009.03.002","volume":"173","author":"G Chabert","year":"2009","unstructured":"Chabert, G., & Jaulin, L. (2009). Contractor programming. Artificial Intelligence, 173, 1079\u20131100.","journal-title":"Artificial Intelligence"},{"key":"9180_CR9","doi-asserted-by":"crossref","unstructured":"Chabert, G., & Jaulin, L. (2009). Hull consistency under monotonicity. In Proceedings of CP, LNCS 5732 (pp. 188\u2013195).","DOI":"10.1007\/978-3-642-04244-7_17"},{"key":"9180_CR10","unstructured":"Debruyne, R., & Bessiere, C. (1997). Some practicable filtering techniques for the constraint satisfaction problem. In Proceedings of IJCAI (pp. 412\u2013417)."},{"key":"9180_CR11","unstructured":"Hansen, E. (1992). Global optimization using interval analysis. Marcel Dekker Inc."},{"issue":"6","key":"9180_CR12","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1023\/A:1009990700281","volume":"3","author":"M Kieffer","year":"2000","unstructured":"Kieffer, M., Jaulin, L., Walter, E., Meizel, D. (2000). Robust autonomous robot localization using interval analysis. Reliable Computing, 3(6), 337\u2013361.","journal-title":"Reliable Computing"},{"issue":"5","key":"9180_CR13","doi-asserted-by":"crossref","first-page":"2076","DOI":"10.1137\/S0036142903436174","volume":"42","author":"Y Lebbah","year":"2005","unstructured":"Lebbah, Y., Michel, C., Rueher, M., Daney, D., Merlet, J. (2005). Efficient and safe global constraints for handling numerical constraint systems. SIAM Journal on Numerical Analysis, 42(5), 2076\u20132097.","journal-title":"SIAM Journal on Numerical Analysis"},{"key":"9180_CR14","unstructured":"Lhomme, O. (1993). Consistency techniques for numeric CSPs. In IJCAI (pp. 232\u2013238)."},{"key":"9180_CR15","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"A Mackworth","year":"1977","unstructured":"Mackworth, A. (1977). Consistency in networks of relations. Artificial Intelligence, 8, 99\u2013118.","journal-title":"Artificial Intelligence"},{"key":"9180_CR16","unstructured":"Merlet, J.P. (2007). Interval analysis and robotics. In Symposium of Robotics Research."},{"key":"9180_CR17","unstructured":"Messine, F. (1997). M\u00e9thodes d\u2019optimisation globale bas\u00e9es sur l\u2019analyse d\u2019intervalle pour la r\u00e9solution des probl\u00e8mes avec contraintes. Ph.D. thesis, LIMA-IRIT-ENSEEIHT-INPT, Toulouse."},{"issue":"11","key":"9180_CR18","first-page":"992","volume":"8","author":"F Messine","year":"2002","unstructured":"Messine, F. (2002). Extensions of affine arithmetic: application to global optimization. Journal of Universal Computer Science, 8(11), 992\u20131015.","journal-title":"Journal of Universal Computer Science"},{"issue":"6","key":"9180_CR19","first-page":"589","volume":"4","author":"F Messine","year":"1998","unstructured":"Messine, F., & Laganouelle, J.L. (1998). Enclosure methods for multivariate differentiable functions and application to global optimization. Journal of Universal Computer Science, 4(6), 589\u2013603.","journal-title":"Journal of Universal Computer Science"},{"key":"9180_CR20","unstructured":"Min Li, C. (1997). Anbulagan: Heuristics based on unit propagation for satisfiability problems. In Proceedings IJCAI (pp. 366\u2013371)."},{"issue":"2","key":"9180_CR21","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/s10107-005-0581-8","volume":"103","author":"M Tawarmalani","year":"2005","unstructured":"Tawarmalani, M., & Sahinidis, N.V. (2005). A polyhedral branch-and-cut approach to global optimization. Mathematical Programming, 103(2), 225\u2013249.","journal-title":"Mathematical Programming"},{"key":"9180_CR22","doi-asserted-by":"crossref","unstructured":"Trombettoni, G., Araya, I., Neveu, B., Chabert, G. (2011). Inner regions and interval linearizations for global optimization. In AAAI (pp. 99\u2013104).","DOI":"10.1609\/aaai.v25i1.7817"},{"key":"9180_CR23","doi-asserted-by":"crossref","unstructured":"Trombettoni, G., & Chabert, G. (2007). Constructive interval disjunction. In Proceedings of CP, LNCS 4741 (pp. 635\u2013650).","DOI":"10.1007\/978-3-540-74970-7_45"},{"key":"9180_CR24","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/s002080010018","volume":"2","author":"W Tucker","year":"2002","unstructured":"Tucker, W. (2002). A rigorous ODE solver and smale\u2019s 14th problem. Foundations of Computational Mathematics, 2, 53\u2013117.","journal-title":"Foundations of Computational Mathematics"},{"key":"9180_CR25","doi-asserted-by":"crossref","unstructured":"Van Hentenryck, P., Michel, L., Deville, Y. (1997). Numerica : a modeling language for global optimization: MIT Press.","DOI":"10.7551\/mitpress\/5073.001.0001"}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-015-9180-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10601-015-9180-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-015-9180-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,3]],"date-time":"2023-08-03T03:25:52Z","timestamp":1691033152000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10601-015-9180-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,2,5]]},"references-count":25,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2015,10]]}},"alternative-id":["9180"],"URL":"https:\/\/doi.org\/10.1007\/s10601-015-9180-3","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"value":"1383-7133","type":"print"},{"value":"1572-9354","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,2,5]]}}}