{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T08:15:41Z","timestamp":1759133741960,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642153952"},{"type":"electronic","value":"9783642153969"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15396-9_8","type":"book-chapter","created":{"date-parts":[[2010,9,6]],"date-time":"2010-09-06T07:00:16Z","timestamp":1283756416000},"page":"61-68","source":"Crossref","is-referenced-by-count":3,"title":["Making Adaptive an Interval Constraint Propagation Algorithm Exploiting Monotonicity"],"prefix":"10.1007","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"}]}],"member":"297","reference":[{"unstructured":"Araya, I.: Exploiting Common Subexpressions and Monotonicity of Functions for Filtering Algorithms over Intervals. PhD thesis, University of Nice\u2013Sophia (2010)","key":"8_CR1"},{"unstructured":"Araya, I., Trombettoni, G., Neveu, B.: Exploiting Monotonicity in Interval Constraint Propagation. In: Proc. AAAI (to appear, 2010)","key":"8_CR2"},{"unstructured":"Benhamou, F., Goualard, F., Granvilliers, L., Puget, J.-F.: Revising Hull and Box Consistency. In: Proc. ICLP, pp. 230\u2013244 (1999)","key":"8_CR3"},{"unstructured":"Chabert, G.: Ibex \u2013 An Interval Based EXplorer (2010), http:\/\/www.ibex-lib.org","key":"8_CR4"},{"issue":"3","key":"8_CR5","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1023\/A:1009922003700","volume":"5","author":"H. Collavizza","year":"1999","unstructured":"Collavizza, H., Delobel, F., Rueher, M.: Comparing Partial Consistencies. Reliable Comp.\u00a05(3), 213\u2013228 (1999)","journal-title":"Reliable Comp."},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"1547","DOI":"10.1016\/S0005-1098(00)00068-6","volume":"36","author":"L. Jaulin","year":"2000","unstructured":"Jaulin, L.: Interval Constraint Propagation with Application to Bounded-error Estimation. Automatica\u00a036, 1547\u20131552 (2000)","journal-title":"Automatica"},{"key":"8_CR7","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","unstructured":"Kearfott, R.B.: Rigorous Global Search: Continuous Problems. Kluwer, Dordrecht (1996)"},{"issue":"6","key":"8_CR8","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1023\/A:1009990700281","volume":"3","author":"M. Kieffer","year":"2000","unstructured":"Kieffer, M., Jaulin, L., Walter, E., Meizel, D.: Robust Autonomous Robot Localization Using Interval Analysis. Reliable Computing\u00a03(6), 337\u2013361 (2000)","journal-title":"Reliable Computing"},{"unstructured":"Lhomme, O.: Consistency Tech. for Numeric CSPs. In: IJCAI, pp. 232\u2013238 (1993)","key":"8_CR9"},{"doi-asserted-by":"crossref","unstructured":"Merlet, J.-P.: Interval Analysis and Robotics. In: Symp. of Robotics Research (2007)","key":"8_CR10","DOI":"10.1007\/11889205_3"},{"key":"8_CR11","volume-title":"Interval Analysis","author":"R.E. Moore","year":"1966","unstructured":"Moore, R.E.: Interval Analysis. Prentice-Hall, Englewood Cliffs (1966)"},{"unstructured":"Rueher, M., Goldsztejn, A., Lebbah, Y., Michel, C.: Capabilities of Constraint Programming in Rigorous Global Optimization. In: NOLTA (2008)","key":"8_CR12"},{"key":"8_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"635","DOI":"10.1007\/978-3-540-74970-7_45","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2007","author":"G. Trombettoni","year":"2007","unstructured":"Trombettoni, G., Chabert, G.: Constructive Interval Disjunction. In: Bessi\u00e8re, C. (ed.) CP 2007. LNCS, vol.\u00a04741, pp. 635\u2013650. Springer, Heidelberg (2007)"},{"key":"8_CR14","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5073.001.0001","volume-title":"Numerica : A Modeling Language for Global Optimization","author":"P. Hentenryck Van","year":"1997","unstructured":"Van Hentenryck, P., Michel, L., Deville, Y.: Numerica: A Modeling Language for Global Optimization. MIT Press, Cambridge (1997)"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2013 CP 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15396-9_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T15:57:57Z","timestamp":1740499077000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15396-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642153952","9783642153969"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15396-9_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}