{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,16]],"date-time":"2024-05-16T05:10:12Z","timestamp":1715836212982},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"2-4","license":[{"start":{"date-parts":[[2011,11,20]],"date-time":"2011-11-20T00:00:00Z","timestamp":1321747200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computing"],"published-print":{"date-parts":[[2012,3]]},"DOI":"10.1007\/s00607-011-0158-8","type":"journal-article","created":{"date-parts":[[2011,11,19]],"date-time":"2011-11-19T06:25:57Z","timestamp":1321683957000},"page":"173-188","source":"Crossref","is-referenced-by-count":9,"title":["An interval extension based on occurrence grouping"],"prefix":"10.1007","volume":"94","author":[{"given":"Ignacio","family":"Araya","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bertrand","family":"Neveu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gilles","family":"Trombettoni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,11,20]]},"reference":[{"key":"158_CR1","unstructured":"Araya I, Neveu B, Trombettoni G (2011) An interval extension based on occurrence grouping: method and properties. INRIA, no. 7806, Nov 2011"},{"key":"158_CR2","doi-asserted-by":"crossref","unstructured":"Araya I, Trombettoni G, Neveu B (2010) Exploiting monotonicity in interval constraint propagation. In: Proc AAAI. AAAI Press, pp 9\u201314","DOI":"10.1609\/aaai.v24i1.7541"},{"key":"158_CR3","unstructured":"Benhamou F, Goualard F, Granvilliers L, Puget JF (1999) Revising hull and box consistency. In: Proc ICLP, pp 230\u2013244"},{"key":"158_CR4","unstructured":"Chabert G (2010) Ibex\u2014an interval based EXplorer. http:\/\/www.ibex-lib.org"},{"key":"158_CR5","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 (2009) Contractor programming. Artif Intell 173: 1079\u20131100","journal-title":"Artif Intell"},{"key":"158_CR6","doi-asserted-by":"crossref","unstructured":"Chabert G, Jaulin L (2009) Hull consistency under monotonicity. In: Proc. constraint programming CP, LNCS 5732, pp 188\u2013195","DOI":"10.1007\/978-3-642-04244-7_17"},{"key":"158_CR7","volume-title":"Numerical recipes in C","author":"B Flannery","year":"1992","unstructured":"Flannery B, Press W, Teukolsky S, Vetterling W (1992) Numerical recipes in C. Press Syndicate of the University of Cambridge, New York"},{"key":"158_CR8","volume-title":"Global optimization using interval analysis","author":"E Hansen","year":"1992","unstructured":"Hansen E (1992) Global optimization using interval analysis. Marcel Dekker, New York"},{"key":"158_CR9","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1098\/rstl.1819.0023","volume":"109","author":"WG Horner","year":"1819","unstructured":"Horner WG (1819) A new method of solving numerical equations of all orders, by continuous approximation. Philos Trans Roy Soc Lond 109: 308\u2013335","journal-title":"Philos Trans Roy Soc Lond"},{"key":"158_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0249-6","volume-title":"Applied interval analysis","author":"L Jaulin","year":"2001","unstructured":"Jaulin L, Kieffer M, Didrit O, Walter E (2001) Applied interval analysis. Springer, Berlin"},{"key":"158_CR11","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 (1997) Computational complexity and feasibility of data processing and interval computations. Kluwer, Dordrecht"},{"key":"158_CR12","unstructured":"Lhomme O (1993) Consistency techniques for numeric CSPs. In: Proc IJCAI, pp 232\u2013238"},{"key":"158_CR13","unstructured":"Merlet JP (2010) The COPRIN examples page. http:\/\/www-sop.inria.fr\/coprin\/logiciels\/ALIAS\/Benches\/benches.html"},{"key":"158_CR14","volume-title":"Interval analysis","author":"R Moore","year":"1966","unstructured":"Moore R (1966) Interval analysis. Prentice Hall, Upper Saddle River"},{"key":"158_CR15","volume-title":"Interval methods for systems of equations","author":"A Neumaier","year":"1990","unstructured":"Neumaier A (1990) Interval methods for systems of equations. Cambridge University Press, Cambridge"},{"key":"158_CR16","unstructured":"Trombettoni G, Chabert G (2007) Constructive interval disjunction. In: Proc CP. LNCS, vol 4741, pp 635\u2013650"}],"container-title":["Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-011-0158-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00607-011-0158-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-011-0158-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,11]],"date-time":"2023-06-11T06:36:44Z","timestamp":1686465404000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00607-011-0158-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11,20]]},"references-count":16,"journal-issue":{"issue":"2-4","published-print":{"date-parts":[[2012,3]]}},"alternative-id":["158"],"URL":"https:\/\/doi.org\/10.1007\/s00607-011-0158-8","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"value":"0010-485X","type":"print"},{"value":"1436-5057","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,11,20]]}}}