{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T03:10:05Z","timestamp":1771470605728,"version":"3.50.1"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T00:00:00Z","timestamp":1133395200000},"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":[[2005,12]]},"DOI":"10.1007\/s10898-005-0937-x","type":"journal-article","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T17:43:07Z","timestamp":1132767787000},"page":"541-562","source":"Crossref","is-referenced-by-count":66,"title":["Interval Analysis on Directed Acyclic Graphs for Global Optimization"],"prefix":"10.1007","volume":"33","author":[{"given":"Hermann","family":"Schichl","sequence":"first","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]},{"given":"Arnold","family":"Neumaier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]}],"member":"297","reference":[{"key":"937_CR1","unstructured":"ILOG Solver 5.1,2001."},{"key":"937_CR2","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/BF01099647","volume":"7","author":"I.P. Androulakis","year":"1995","journal-title":"J. Global Optim."},{"key":"937_CR3","doi-asserted-by":"crossref","unstructured":"Benhamou, F. and Older, W. (1997), Applying interval arithmetic to real, integer, and boolean constraints, J. Logic Program.","DOI":"10.1016\/S0743-1066(96)00142-2"},{"key":"937_CR4","unstructured":"Berz, M. (1997), COSY INFINITY version 8 reference manual. Technical report, National Superconducting Cyclotron Lab., Michigan State University, East Lansing, Mich., MSUCL\u20131008."},{"key":"937_CR5","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1023\/A:1024467732637","volume":"4","author":"M. Berz","year":"1998","journal-title":"Reliable Comput."},{"key":"937_CR6","unstructured":"Bliel, C. (1992), Computer Methods for Design Automation.PhD thesis, Department of Ocean Engineering, Massachusetts Institute of Technology."},{"key":"937_CR7","unstructured":"Bliek, C., Spellucci, P., Vicente, L.N., Neumaier, A., Granvilliers, L., Monfroy, E., Benhamouand, F., Huens, E., Van Hentenryck, P., Sam-Haroud, D. and Faltings,~B. (2001), Algorithms for Solving Nonlinear Constrained and Optimization Problems: The State of the Art. Report of the European Community funded project COCONUT, Mathematisches Institut der Universitat Wien, http:\/\/www.mat.univie.ac.at\/ \u223cneum\/glopt\/coconut\/StArt.html."},{"key":"937_CR8","volume-title":"GAMS \u2013 A User\u2019s Guide (Release 2.25)","author":"A. Brooke","year":"1992"},{"key":"937_CR9","doi-asserted-by":"crossref","unstructured":"Chekuri, C., Johnson, R., Motwani, R., Natarajan, B., Ramakrishna Rau, B. and Schlansker, M. S. (1996), Profile-driven instruction level parallel scheduling with application to super blocks. in International Symposium on Microarchitecture, pp. 58\u201367.","DOI":"10.1109\/MICRO.1996.566450"},{"key":"937_CR10","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/978-1-4757-2600-8_2","volume-title":"Developments in Global Optimization","author":"S. Dallwig","year":"1997"},{"key":"937_CR11","volume-title":"Towards Global Optimization","author":"L.C.W. Dixon","year":"1975"},{"key":"937_CR12","volume-title":"Deterministic Global Optimization: Theory, Algorithms and Applications","author":"C.A. Floudas","year":"1999"},{"key":"937_CR13","unstructured":"Fourer, R., Gay, D.M. and Kernighan, B.W. (2003), AMPL \u2013 A Mathematical ProgrammingLanguage, Thomson, second ed."},{"key":"937_CR14","volume-title":"Automatic Differentiation of Algorithms","author":"A. Griewank","year":"1991"},{"key":"937_CR15","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19\/20","author":"J. Jaffar","year":"1994","journal-title":"J. of Logic Program."},{"key":"937_CR16","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/BF02253433","volume":"47","author":"R.B. Kearfott","year":"1991","journal-title":"Computing"},{"key":"937_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2495-0","volume-title":"Rigorous Global Search: Continuous Problems","author":"R.B. Kearfott","year":"1996"},{"key":"937_CR18","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1023\/A:1009902813842","volume":"3","author":"L.V. Kolev","year":"1997","journal-title":"Reliable Comput"},{"key":"937_CR19","unstructured":"Kolev, L.V. (2002), An improved interval linearization for solving non-linear problems, Manuscript."},{"key":"937_CR20","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/BF01580665","volume":"10","author":"G.P. McCormick","year":"1976","journal-title":"Math. Program."},{"key":"937_CR21","volume-title":"Interval Methods for Systems of Equations","author":"A. Neumaier","year":"1990"},{"key":"937_CR22","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511612916","volume-title":"Introduction to Numerical Analysis","author":"A. Neumaier","year":"2001"},{"key":"937_CR23","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1023\/A:1023061927787","volume":"9","author":"A. Neumaier","year":"2002","journal-title":"Reliable Comput."},{"key":"937_CR24","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/BF00138693","volume":"8","author":"N.V. Sahinidis","year":"1996","journal-title":"J. Global Optim."},{"issue":"1&2","key":"937_CR25","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/BF00143879","volume":"1","author":"D. Sam-Haroud","year":"1996","journal-title":"Constraints"},{"key":"937_CR26","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1016\/0022-247X(90)90053-I","volume":"149","author":"Z. Shen","year":"1990","journal-title":"J. Math. Anal. Appl"},{"key":"937_CR27","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3532-1","volume-title":"Convexification and Global Optimization in Continuous and Mixed-Integer Nonlinear Programming: Theory, Algorithms, Software, and Applications","author":"M. Tawarmalani","year":"2002"},{"key":"937_CR28","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5073.001.0001","volume-title":"Numerica \u2013 A Modeling Language for Global Optimization","author":"P. Van Hentenryck","year":"1997"},{"key":"937_CR29","doi-asserted-by":"crossref","unstructured":"Vu, X.-H., Schichl, H. and Sam-Haroud, D. (2004), Using directed acyclic graphs to coordinate propagation and search for numerical constraint satisfaction problems. in Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004).Florida, USA.","DOI":"10.1109\/ICTAI.2004.118"}],"container-title":["Journal of Global Optimization"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10898-005-0937-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10898-005-0937-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10898-005-0937-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T05:12:54Z","timestamp":1586581974000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10898-005-0937-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,12]]},"references-count":29,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2005,12]]}},"alternative-id":["937"],"URL":"https:\/\/doi.org\/10.1007\/s10898-005-0937-x","relation":{},"ISSN":["0925-5001","1573-2916"],"issn-type":[{"value":"0925-5001","type":"print"},{"value":"1573-2916","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,12]]}}}