{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,10]],"date-time":"2026-01-10T07:06:28Z","timestamp":1768028788002,"version":"3.49.0"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2014,2,1]],"date-time":"2014-02-01T00:00:00Z","timestamp":1391212800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Glob Optim"],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1007\/s10898-014-0145-7","type":"journal-article","created":{"date-parts":[[2014,1,31]],"date-time":"2014-01-31T22:10:04Z","timestamp":1391206204000},"page":"145-164","source":"Crossref","is-referenced-by-count":32,"title":["Upper bounding in inner regions for global optimization under inequality constraints"],"prefix":"10.1007","volume":"60","author":[{"given":"Ignacio","family":"Araya","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gilles","family":"Trombettoni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bertrand","family":"Neveu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gilles","family":"Chabert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,2,1]]},"reference":[{"key":"145_CR1","doi-asserted-by":"crossref","unstructured":"Araya, I., Trombettoni, G., Neveu, B.: Exploiting monotonicity in interval constraint propagation. In: Proceedings of AAAI, pp. 9\u201314 (2010)","DOI":"10.1609\/aaai.v24i1.7541"},{"key":"145_CR2","doi-asserted-by":"crossref","unstructured":"Araya, I., Trombettoni, G., Neveu, B.: A contractor based on convex interval Taylor. In: CPAIOR, pp. 1\u201316. LNCS 7298 (2012)","DOI":"10.1007\/978-3-642-29828-8_1"},{"key":"145_CR3","unstructured":"Belotti, P.: Couenne, a user\u2019s manual (2013). http:\/\/www.coin-or.org\/Couenne\/"},{"key":"145_CR4","doi-asserted-by":"crossref","unstructured":"Benhamou, F., Goualard, F.: Universally quantified interval constraints. In: Proceedings of CP, Constraint Programming, LNCS 1894, pp. 67\u201382 (2004)","DOI":"10.1007\/3-540-45349-0_7"},{"key":"145_CR5","unstructured":"Benhamou, F., Goualard, F., Granvilliers, L., Puget, J.F.: Revising hull and box consistency. In: Proceedings of ICLP, pp. 230\u2013244 (1999)"},{"key":"145_CR6","unstructured":"Bliek, C.: Computer methods for design automation. Ph.D. thesis, MIT (1992)"},{"key":"145_CR7","doi-asserted-by":"crossref","unstructured":"Chabert, G., Beldiceanu, N.: Sweeping with continuous domains. In: Proceedings of CP, LNCS 6308, pp. 137\u2013151 (2010)","DOI":"10.1007\/978-3-642-15396-9_14"},{"key":"145_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.: Contractor programming. Artif. Intell. 173, 1079\u20131100 (2009)","journal-title":"Artif. Intell."},{"key":"145_CR9","unstructured":"Collavizza, H., Delobel, F., Rueher, M.: Extending consistent domains of numeric CSP. In: Proceedings of IJCAI, pp. 406\u2013413 (1999)"},{"key":"145_CR10","unstructured":"Goldsztejn, A.: D\u00e9finition et applications des extensions des fonctions r\u00e9elles aux intervalles g\u00e9n\u00e9ralis\u00e9s: nouvelle formulation de la th\u00e9orie des intervalles modaux et nouveaux r\u00e9sultats. Ph.D. thesis, University of Nice Sophia Antipolis (2005)"},{"key":"145_CR11","volume-title":"Global Optimization Using Interval Analysis","author":"E Hansen","year":"1992","unstructured":"Hansen, E.: Global Optimization Using Interval Analysis. Marcel Dekker, New York (1992)"},{"key":"145_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2495-0","volume-title":"Rigorous Global Search: Continuous Problems","author":"RB Kearfott","year":"1996","unstructured":"Kearfott, R.B.: Rigorous Global Search: Continuous Problems. Kluwer Academic, Dordrecht (1996)"},{"key":"145_CR13","volume-title":"Computational Complexity and Feasibility of Data Processing and Interval Computations","author":"V Kreinovich","year":"1997","unstructured":"Kreinovich, V., Lakeyev, A., Rohn, J., Kahl, P.: Computational Complexity and Feasibility of Data Processing and Interval Computations. Kluwer, Dordrecht (1997)"},{"issue":"5","key":"145_CR14","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.: Efficient and safe global constraints for handling numerical constraint systems. SIAM J. Numer. Anal. 42(5), 2076\u20132097 (2005)","journal-title":"SIAM J. Numer. Anal."},{"key":"145_CR15","doi-asserted-by":"crossref","first-page":"3741","DOI":"10.1021\/ie034073d","volume":"43","author":"Y Lin","year":"2004","unstructured":"Lin, Y., Stadtherr, M.: LP strategy for the interval-Newton method in deterministic global optimization. Ind. Eng. Chem. Res. 43, 3741\u20133749 (2004)","journal-title":"Ind. Eng. Chem. Res."},{"key":"145_CR16","doi-asserted-by":"crossref","unstructured":"McAllester, D., Van Hentenryck, P., Kapur, D.: Three cuts for accelerated interval propagation. tech. rep. AI Memo 1542, Massachusetts Institute of Technology (1995)","DOI":"10.21236\/ADA298215"},{"issue":"6","key":"145_CR17","first-page":"589","volume":"4","author":"F Messine","year":"1998","unstructured":"Messine, F., Laganouelle, J.L.: Enclosure methods for multivariate differentiable functions and application to global optimization. J. Univ. Comput. Sci. 4(6), 589\u2013603 (1998)","journal-title":"J. Univ. Comput. Sci."},{"key":"145_CR18","unstructured":"Messine, F.: 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 (1997)"},{"key":"145_CR19","doi-asserted-by":"crossref","unstructured":"Moore, R., Kearfott, R.B., Cloud, M.: Introduction to Interval Analysis. SIAM, Philadelphia (2009)","DOI":"10.1137\/1.9780898717716"},{"key":"145_CR20","volume-title":"Interval Analysis","author":"RE Moore","year":"1966","unstructured":"Moore, R.E.: Interval Analysis. Prentice-Hall, Englewood Cliffs (1966)"},{"key":"145_CR21","volume-title":"Interval Methods for Systems of Equations","author":"A Neumaier","year":"1990","unstructured":"Neumaier, A.: Interval Methods for Systems of Equations. Cambridge University Press, Cambridge (1990)"},{"key":"145_CR22","unstructured":"Ninin, J., Messine, F., Hansen, P.: A reliable affine relaxation method for global optimization. tech. rep. RT-APO-10-05, IRIT (2010)"},{"issue":"1","key":"145_CR23","first-page":"115","volume":"2","author":"W Oettli","year":"1965","unstructured":"Oettli, W.: On the solution set of a linear system with inaccurate coefficients. SIAM J. Numer. Anal. 2(1), 115\u2013118 (1965)","journal-title":"SIAM J. Numer. Anal."},{"key":"145_CR24","doi-asserted-by":"crossref","unstructured":"Rohn, J.: Inner solutions of linear interval systems. In: Proceedings of Interval Mathematics 1985, LNCS 212, pp. 157\u2013158 (1986)","DOI":"10.1007\/3-540-16437-5_15"},{"key":"145_CR25","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/0378-4754(95)00135-K","volume":"39","author":"S Shary","year":"1995","unstructured":"Shary, S.: Solving the linear interval tolerance problem. Math. Comput. Simul. 39, 53\u201385 (1995)","journal-title":"Math. Comput. Simul."},{"issue":"2","key":"145_CR26","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.: A polyhedral branch-and-cut approach to global optimization. Math. Program. 103(2), 225\u2013249 (2005)","journal-title":"Math. Program."},{"key":"145_CR27","doi-asserted-by":"crossref","unstructured":"Trombettoni, G., Araya, I., Neveu, B., Chabert, G.: Inner regions and interval linearizations for global optimization. In: AAAI, pp. 99\u2013104 (2011)","DOI":"10.1609\/aaai.v25i1.7817"},{"key":"145_CR28","doi-asserted-by":"crossref","unstructured":"Trombettoni, G., Chabert, G.: Constructive interval disjunction. In: Proceedings of CP, LNCS 4741, pp. 635\u2013650 (2007)","DOI":"10.1007\/978-3-540-74970-7_45"}],"container-title":["Journal of Global Optimization"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10898-014-0145-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10898-014-0145-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10898-014-0145-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,10]],"date-time":"2023-07-10T05:14:52Z","timestamp":1688966092000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10898-014-0145-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,2,1]]},"references-count":28,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2014,10]]}},"alternative-id":["145"],"URL":"https:\/\/doi.org\/10.1007\/s10898-014-0145-7","relation":{},"ISSN":["0925-5001","1573-2916"],"issn-type":[{"value":"0925-5001","type":"print"},{"value":"1573-2916","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,2,1]]}}}