{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:30:00Z","timestamp":1725564600933},"publisher-location":"Berlin, Heidelberg","reference-count":7,"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_30","type":"book-chapter","created":{"date-parts":[[2010,9,6]],"date-time":"2010-09-06T03:00:16Z","timestamp":1283742016000},"page":"360-367","source":"Crossref","is-referenced-by-count":20,"title":["Improving the Floating Point Addition and Subtraction Constraints"],"prefix":"10.1007","author":[{"given":"Bruno","family":"Marre","sequence":"first","affiliation":[]},{"given":"Claude","family":"Michel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"30_CR1","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1002\/stvr.333","volume":"16","author":"B. Botella","year":"2006","unstructured":"Botella, B., Gotlieb, A., Michel, C.: Symbolic execution of floating-point computations. Softw. Test., Verif. Reliab.\u00a016(2), 97\u2013121 (2006)","journal-title":"Softw. Test., Verif. Reliab."},{"issue":"2","key":"30_CR2","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/s10601-009-9089-9","volume":"15","author":"H. Collavizza","year":"2010","unstructured":"Collavizza, H., Rueher, M., Hentenryck, P.: CPBPV: a constraint-programming framework for bounded program verification. Constraints\u00a015(2), 238\u2013264 (2010)","journal-title":"Constraints"},{"key":"30_CR3","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/j.entcs.2004.12.010","volume":"111","author":"B. Marre","year":"2005","unstructured":"Marre, B., Blanc, B.: Test selection strategies for lustre descriptions in gatel. Electr. Notes Theor. Comput. Sci.\u00a0111, 93\u2013111 (2005)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"30_CR4","unstructured":"Michel, C.: Exact projection functions for floating point number constraints. In: AMAI (2002)"},{"key":"30_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1007\/3-540-45578-7_36","volume-title":"Principles and Practice of Constraint Programming - CP 2001","author":"C. Michel","year":"2001","unstructured":"Michel, C., Rueher, M., Lebbah, Y.: Solving constraints over floating-point numbers. In: Walsh, T. (ed.) CP 2001. LNCS, vol.\u00a02239, pp. 524\u2013538. Springer, Heidelberg (2001)"},{"key":"30_CR6","volume-title":"Floating point computations","author":"P. Sterbenz","year":"1974","unstructured":"Sterbenz, P.: Floating point computations. Prentice-Hall, Englewood Cliffs (1974)"},{"key":"30_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/11408901_21","volume-title":"Dependable Computing - EDCC 2005","author":"N. Williams","year":"2005","unstructured":"Williams, N., Marre, B., Mouy, P., Roger, M.: Pathcrawler: Automatic generation of path tests by combining static and dynamic analysis. In: Dal Cin, M., Ka\u00e2niche, M., Pataricza, A. (eds.) EDCC 2005. LNCS, vol.\u00a03463, pp. 281\u2013292. Springer, Heidelberg (2005)"}],"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_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T08:53:27Z","timestamp":1619772807000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15396-9_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642153952","9783642153969"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15396-9_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}