{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T04:08:29Z","timestamp":1746072509976,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642381706"},{"type":"electronic","value":"9783642381713"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38171-3_15","type":"book-chapter","created":{"date-parts":[[2013,4,11]],"date-time":"2013-04-11T01:30:36Z","timestamp":1365643836000},"page":"216-233","source":"Crossref","is-referenced-by-count":0,"title":["On Solving Mixed-Integer Constraint Satisfaction Problems with Unbounded Variables"],"prefix":"10.1007","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"}]},{"given":"Mih\u00e1ly Csaba","family":"Mark\u00f3t","sequence":"additional","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]},{"given":"Ferenc","family":"Domes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/3-540-45349-0_7","volume-title":"Principles and Practice of Constraint Programming - CP 2000","author":"F. Benhamou","year":"2000","unstructured":"Benhamou, F., Goualard, F.: Universally Quantified Interval Constraints. In: Dechter, R. (ed.) CP 2000. LNCS, vol.\u00a01894, pp. 67\u201382. Springer, Heidelberg (2000)"},{"unstructured":"Benhamou, F., Goualard, F., Granvilliers, L., Puget, J.F.: Revising Hull and Box Consistency. In: Proceedings of the International Conference on Logic Programming (ICLP 1999), Las Cruces, USA, pp. 230\u2013244 (1999)","key":"15_CR2"},{"doi-asserted-by":"crossref","unstructured":"Benhamou, F., Older, W.J.: Applying Interval Arithmetic to Real, Integer and Boolean Constraints. Journal of Logic Programming, 32\u201381 (1997)","key":"15_CR3","DOI":"10.1016\/S0743-1066(96)00142-2"},{"key":"15_CR4","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1023\/A:1024467732637","volume":"4","author":"M. Berz","year":"1998","unstructured":"Berz, M., Makino, K.: Verified integration of odes and flows using differential algebraic methods on high-order taylor models. Reliable Computing\u00a04, 361\u2013369 (1998)","journal-title":"Reliable Computing"},{"unstructured":"Berz, M.: COSY INFINITY version 8 reference manual. Technical report, National Superconducting Cyclotron Lab., Michigan State University, East Lansing, Mich., MSUCL\u20131008 (1997)","key":"15_CR5"},{"unstructured":"Domes, F.: Gloptlab-a configurable framework for solving continuous, algebraic CSPs. In: IntCP, Int. WS on Interval Analysis, Constraint Propagation, Applications, at CP Conference, pp. 1\u201316 (2009)","key":"15_CR6"},{"issue":"4-5","key":"15_CR7","doi-asserted-by":"publisher","first-page":"727","DOI":"10.1080\/10556780902917701","volume":"24","author":"F. Domes","year":"2009","unstructured":"Domes, F.: Gloptlab: a configurable framework for the rigorous global solution of quadratic constraint satisfaction problems. Optimization Methods & Software\u00a024(4-5), 727\u2013747 (2009)","journal-title":"Optimization Methods & Software"},{"issue":"1","key":"15_CR8","doi-asserted-by":"publisher","first-page":"1020101","DOI":"10.1002\/pamm.200701116","volume":"7","author":"F. Domes","year":"2008","unstructured":"Domes, F., Neumaier, A.: Verified global optimization with gloptlab. PAMM\u00a07(1), 1020101\u20131020102 (2008)","journal-title":"PAMM"},{"unstructured":"Eiermann, M.C.: Adaptive Berechnung von Integraltransformationen mit Fehlerschranken. PhD thesis, Institut f\u00fcr Angewandte Mathematik der Albert\u2013Ludwigs\u2013Universit\u00e4t Freiburg im Breisgau (October 1989)","key":"15_CR9"},{"doi-asserted-by":"crossref","unstructured":"Granvilliers, L., Goualard, F., Benhamou, F.: Box Consistency through Weak Box Consistency. In: Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 1999), pp. 373\u2013380 (November 1999)","key":"15_CR10","DOI":"10.1109\/TAI.1999.809826"},{"key":"15_CR11","volume-title":"Automatic Differentiation of Algorithms","author":"A. Griewank","year":"1991","unstructured":"Griewank, A., Corliss, G.F.: Automatic Differentiation of Algorithms. SIAM Publications, Philadelphia (1991)"},{"key":"15_CR12","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)"},{"doi-asserted-by":"crossref","unstructured":"Jaulin, L., Kieffer, M., Didrit, O., Walter, E.: Applied Interval Analysis, 1st edn. Springer (2001)","key":"15_CR13","DOI":"10.1007\/978-1-4471-0249-6"},{"issue":"2","key":"15_CR14","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/BF02253433","volume":"47","author":"R. Kearfott","year":"1991","unstructured":"Kearfott, R.: Decomposition of arithmetic expressions to improve the behavior of interval iteration for nonlinear systems. Computing\u00a047(2), 169\u2013191 (1991)","journal-title":"Computing"},{"issue":"1","key":"15_CR15","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/BF01580665","volume":"10","author":"G. McCormick","year":"1976","unstructured":"McCormick, G.: Computability of global solutions to factorable nonconvex programs: Part iconvex underestimating problems. Mathematical Programming\u00a010(1), 147\u2013175 (1976)","journal-title":"Mathematical Programming"},{"unstructured":"Moore, R.E.: Interval Arithmetic and Automatic Error Analysis in Digital Computing. PhD thesis, Appl. Math. Statist. Lab. Rep. 25. Stanford University (1962)","key":"15_CR16"},{"key":"15_CR17","volume-title":"Interval Analysis","author":"R.E. Moore","year":"1966","unstructured":"Moore, R.E.: Interval Analysis. Prentice-Hall, Englewood Cliffs (1966)"},{"key":"15_CR18","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":"15_CR19","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1023\/A:1023061927787","volume":"9","author":"A. Neumaier","year":"2002","unstructured":"Neumaier, A.: Taylor forms - use and limits. Reliable Computing\u00a09, 43\u201379 (2002)","journal-title":"Reliable Computing"},{"issue":"1","key":"15_CR20","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1017\/S0962492904000194","volume":"13","author":"A. Neumaier","year":"2004","unstructured":"Neumaier, A.: Complete search in continuous global optimization and constraint satisfaction. Acta Numerica\u00a013(1), 271\u2013369 (2004)","journal-title":"Acta Numerica"},{"unstructured":"Ninin, J., Messine, F., Hansen, P.: A reliable affine relaxation method for global optimization (2010); Optimzation Online","key":"15_CR21"},{"issue":"2","key":"15_CR22","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/BF00138689","volume":"8","author":"H. Ryoo","year":"1996","unstructured":"Ryoo, H., Sahinidis, N.: A branch-and-reduce approach to global optimization. Journal of Global Optimization\u00a08(2), 107\u2013138 (1996)","journal-title":"Journal of Global Optimization"},{"key":"15_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/978-3-540-24738-8_14","volume-title":"Numerical Software with Result Verification","author":"H. Schichl","year":"2004","unstructured":"Schichl, H.: Global optimization in the COCONUT project. In: Alt, R., Frommer, A., Kearfott, R.B., Luther, W. (eds.) Numerical Software with Result Verification. LNCS, vol.\u00a02991, pp. 243\u2013249. Springer, Heidelberg (2004)"},{"unstructured":"Schichl, H., Mark\u00f3t, M.C., et al.: The COCONUT Environment. Software, http:\/\/www.mat.univie.ac.at\/coconut-environment","key":"15_CR24"},{"issue":"2","key":"15_CR25","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1080\/10556788.2010.547581","volume":"27","author":"H. Schichl","year":"2012","unstructured":"Schichl, H., Mark\u00f3t, M.C.: Algorithmic differentiation techniques for global optimization in the coconut environment. Optimization Methods and Software\u00a027(2), 359\u2013372 (2012)","journal-title":"Optimization Methods and Software"},{"issue":"1","key":"15_CR26","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1137\/S0036142902418898","volume":"42","author":"H. Schichl","year":"2004","unstructured":"Schichl, H., Neumaier, A.: Exclusion regions for systems of equations. SIAM Journal on Numerical Analysis\u00a042(1), 383\u2013408 (2004)","journal-title":"SIAM Journal on Numerical Analysis"},{"issue":"4","key":"15_CR27","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1007\/s10898-005-0937-x","volume":"33","author":"H. Schichl","year":"2005","unstructured":"Schichl, H., Neumaier, A.: Interval analysis on directed acyclic graphs for global optimization. Journal of Global Optimization\u00a033(4), 541\u2013562 (2005)","journal-title":"Journal of Global Optimization"},{"key":"15_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/978-3-540-39901-8_16","volume-title":"Global Optimization and Constraint Satisfaction","author":"O. Shcherbina","year":"2003","unstructured":"Shcherbina, O., Neumaier, A., Sam-Haroud, D., Vu, X.H., Nguyen, T.V.: Benchmarking global optimization and constraint satisfaction codes. In: Bliek, C., Jermann, C., Neumaier, A. (eds.) COCOS 2002. LNCS, vol.\u00a02861, pp. 211\u2013222. Springer, Heidelberg (2003)"},{"key":"15_CR29","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/3-540-45153-6_18","volume-title":"Advances in Artificial Intelligence","author":"M.-C. Silaghi","year":"2001","unstructured":"Silaghi, M.-C., Sam-Haroud, D., Faltings, B.V.: Search Techniques for Non-linear Constraint Satisfaction Problems with Inequalities. In: Stroulia, E., Matwin, S. (eds.) AI 2001. LNCS (LNAI), vol.\u00a02056, pp. 183\u2013193. Springer, Heidelberg (2001)"},{"unstructured":"Stolfi, J., Andrade, M., Comba, J., Van Iwaarden, R.: Affine arithmetic: a correlation-sensitive variant of interval arithmetic, Web document (1994)","key":"15_CR30"},{"doi-asserted-by":"crossref","unstructured":"Van Hentenryck, P.: Numerica: A Modeling Language for Global Optimization. In: Proceedings of IJCAI 1997 (1997)","key":"15_CR31","DOI":"10.7551\/mitpress\/5073.001.0001"},{"key":"15_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-540-39901-8_15","volume-title":"Global Optimization and Constraint Satisfaction","author":"X.H. Vu","year":"2003","unstructured":"Vu, X.H., Sam-Haroud, D., Silaghi, M.C.: Numerical Constraint Satisfaction Problems with Non-isolated Solutions. In: Bliek, C., Jermann, C., Neumaier, A. (eds.) COCOS 2002. LNCS, vol.\u00a02861, pp. 194\u2013210. Springer, Heidelberg (2003)"},{"doi-asserted-by":"crossref","unstructured":"Vu, X., Schichl, H., Sam-Haroud, D.: Using directed acyclic graphs to coordinate propagation and search for numerical constraint satisfaction problems. In: 16th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2004, pp. 72\u201381. IEEE (2004)","key":"15_CR33","DOI":"10.1109\/ICTAI.2004.118"},{"issue":"4","key":"15_CR34","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1007\/s10898-008-9386-7","volume":"45","author":"X. Vu","year":"2009","unstructured":"Vu, X., Schichl, H., Sam-Haroud, D.: Interval propagation and search on directed acyclic graphs for numerical constraint solving. Journal of Global Optimization\u00a045(4), 499\u2013531 (2009)","journal-title":"Journal of Global Optimization"}],"container-title":["Lecture Notes in Computer Science","Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38171-3_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T04:07:29Z","timestamp":1745986049000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38171-3_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642381706","9783642381713"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38171-3_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}