{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:12:39Z","timestamp":1725574359254},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540212607"},{"type":"electronic","value":"9783540247388"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24738-8_14","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T13:22:23Z","timestamp":1294406543000},"page":"243-249","source":"Crossref","is-referenced-by-count":8,"title":["Global Optimization in the COCONUT Project"],"prefix":"10.1007","author":[{"given":"Hermann","family":"Schichl","sequence":"first","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","first-page":"124","volume-title":"Proceedings of ILPS 1994, International Logic Programming Symposium","author":"F. Benhamou","year":"1994","unstructured":"Benhamou, F., McAllester, D., Van Hentenryck, P.: CLP intervals revisited. In: Bruynooghe, M. (ed.) Proceedings of ILPS 1994, International Logic Programming Symposium, Ithaca, NY, USA, pp. 124\u2013138. MIT Press, Cambridge (1994)"},{"issue":"1","key":"14_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0743-1066(96)00142-2","volume":"32","author":"F. Benhamou","year":"1997","unstructured":"Benhamou, F., Older, W.J.: Applying interval arithmetic to real, integer, and boolean constraints. Journal of Logic Programming\u00a032(1), 1\u201324 (1997)","journal-title":"Journal of Logic Programming"},{"key":"14_CR3","unstructured":"Brooke, A., Kendrick, D., Meeraus, A.: GAMS - A User\u2019s Guide (Release 2.25). Boyd & Fraser Publishing Company, Danvers (1992)"},{"key":"14_CR4","unstructured":"The COCONUT project home page, http:\/\/www.mat.univie.ac.at\/coconut"},{"key":"14_CR5","unstructured":"The COCONUT Environment home page, http:\/\/www.mat.univie.ac.at\/coconutenvironment"},{"key":"14_CR6","unstructured":"Fourer, R., Gay, D.M., Kernighan, B.W.: AMPL \u2014 A Mathematical Programming Language, 2nd edn. Thomson (2003)"},{"volume-title":"Modeling Languages in Mathematical Optimization","year":"2003","key":"14_CR7","unstructured":"Kallrath, J. (ed.): Modeling Languages in Mathematical Optimization. Kluwer Academic Publishers, Boston (2003)"},{"key":"14_CR8","unstructured":"Lerch, M., Tischler, G., Wolff von Gudenberg, J.: filib++\u2013Interval Library, Specification and Reference Manual. Informatik, Universit\u00e4t W\u00fcrzburg, techn. report 279 edition (August 2001)"},{"key":"14_CR9","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/BF00143879","volume":"1","author":"D. Sam-Haroud","year":"1996","unstructured":"Sam-Haroud, D., Faltings, B.: Consistency techniques for continuous constraints. Constraints\u00a01, 85\u2013118 (1996)","journal-title":"Constraints"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Schichl, H., Neumaier, A.: Exclusion regions for systems of equations. SIAM J. Num. Analysis (2003) (to appear)","DOI":"10.1137\/S0036142902418898"},{"key":"14_CR11","unstructured":"Schichl, H., Neumaier, A.: Interval analysis on directed acyclic graphs for global optimization (2003) (preprint)"},{"key":"14_CR12","volume-title":"Proceedings of the SIAM Workshop on Object Oriented Methods for Inter-operable Scientific and Engineering Computing (OO 1998)","author":"J. Siek","year":"1999","unstructured":"Siek, J., Lumsdaine, A., Lee, L.-Q.: Generic programming for high performance numerical linear algebra. In: Proceedings of the SIAM Workshop on Object Oriented Methods for Inter-operable Scientific and Engineering Computing (OO 1998), SIAM Press, Philadelphia (1999)"},{"key":"14_CR13","unstructured":"Silaghi, M., Sam-Haroud, D., Faltings, B.: Search techniques for non-linear CSPS with inequalities. In: Proc. of the 14th Canadian Conf. on AI (2001)"},{"key":"14_CR14","first-page":"413","volume":"82","author":"P. Spellucci","year":"1998","unstructured":"Spellucci, P.: An SQP method for general nonlinear programs using only equality constrained subproblems. Mathematical Programming\u00a082, 413\u2013448 (1998)","journal-title":"Mathematical Programming"}],"container-title":["Lecture Notes in Computer Science","Numerical Software with Result Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24738-8_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,17]],"date-time":"2021-11-17T02:14:01Z","timestamp":1637115241000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24738-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540212607","9783540247388"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24738-8_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}