{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,19]],"date-time":"2024-11-19T16:38:18Z","timestamp":1732034298646},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642335570"},{"type":"electronic","value":"9783642335587"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33558-7_12","type":"book-chapter","created":{"date-parts":[[2012,10,2]],"date-time":"2012-10-02T22:32:47Z","timestamp":1349217167000},"page":"127-140","source":"Crossref","is-referenced-by-count":6,"title":["Boosting Local Consistency Algorithms over Floating-Point Numbers"],"prefix":"10.1007","author":[{"given":"Mohammed Said","family":"Belaid","sequence":"first","affiliation":[]},{"given":"Claude","family":"Michel","sequence":"additional","affiliation":[]},{"given":"Michel","family":"Rueher","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"12_CR1","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1287\/moor.8.2.273","volume":"8","author":"F.A. Al-Khayyal","year":"1983","unstructured":"Al-Khayyal, F.A., Falk, J.E.: Jointly constrained biconvex programming. Mathematics of Operations Research\u00a08(2), 273\u2013286 (1983)","journal-title":"Mathematics of Operations Research"},{"key":"12_CR2","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/s10009-008-0091-0","volume":"11","author":"A. Armando","year":"2009","unstructured":"Armando, A., Mantovani, J., Platania, L.: Bounded model checking of software using SMT solvers instead of SAT solvers. Int. J. Softw. Tools Technol. Transf.\u00a011, 69\u201383 (2009)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/3-540-49059-0_14","volume-title":"Tools and Algorithms for the Construction of Analysis of Systems","author":"A. Biere","year":"1999","unstructured":"Biere, A., Cimatti, A., Clarke, E., Zhu, Y.: Symbolic Model Checking without BDDs. In: Cleaveland, W.R. (ed.) TACAS 1999. LNCS, vol.\u00a01579, pp. 193\u2013207. Springer, Heidelberg (1999)"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Borradaile, G., Van Hentenryck, P.: Safe and tight linear estimators for global optimization. Mathematical Programming (2005)","DOI":"10.1007\/s10107-004-0533-8"},{"issue":"2","key":"12_CR5","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."},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Brillout, A., Kroening, D., Wahl, T.: Mixed abstractions for floating-point arithmetic. In: Proceedings of FMCAD 2009, pp. 69\u201376. IEEE (2009)","DOI":"10.1109\/FMCAD.2009.5351141"},{"key":"12_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-540-89330-1_2","volume-title":"Programming Languages and Systems","author":"L. Chen","year":"2008","unstructured":"Chen, L., Min\u00e9, A., Cousot, P.: A Sound Floating-Point Polyhedra Abstract Domain. In: Ramalingam, G. (ed.) APLAS 2008. LNCS, vol.\u00a05356, pp. 3\u201318. Springer, Heidelberg (2008)"},{"issue":"2","key":"12_CR8","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":"12_CR9","doi-asserted-by":"crossref","unstructured":"Cordeiro, L., Fischer, B., Marques-Silva, J.: SMT-based bounded model checking for embedded ANSI-C software. IEEE Transactions on Software Engineering (May 2011)","DOI":"10.1145\/1810295.1810396"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R., Feret, J., Min\u00e9, A., Mauborgne, L., Monniaux, D., Rival, X.: Varieties of static analyzers: A comparison with astree. In: TASE 2007, pp. 3\u201320. IEEE (2007)","DOI":"10.1109\/TASE.2007.55"},{"key":"12_CR11","first-page":"794","volume-title":"Proceedings of the 2006 IEEE\/ACM International Conference on Computer-Aided Design, ICCAD 2006","author":"M.K. Ganai","year":"2006","unstructured":"Ganai, M.K., Gupta, A.: Accelerating high-level bounded model checking. In: Proceedings of the 2006 IEEE\/ACM International Conference on Computer-Aided Design, ICCAD 2006, pp. 794\u2013801. ACM, New York (2006)"},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/978-3-642-14295-6_22","volume-title":"Computer Aided Verification","author":"K. Ghorbal","year":"2010","unstructured":"Ghorbal, K., Goubault, E., Putot, S.: A Logical Product Approach to Zonotope Intersection. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol.\u00a06174, pp. 212\u2013226. Springer, Heidelberg (2010)"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Gotlieb, A., Botella, B., Rueher, M.: Automatic test data generation using constraint solving techniques. In: ISSTA, pp. 53\u201362 (1998)","DOI":"10.1145\/271775.271790"},{"key":"12_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/3-540-44957-4_27","volume-title":"Computational Logic - CL 2000","author":"A. Gotlieb","year":"2000","unstructured":"Gotlieb, A., Botella, B., Rueher, M.: A CLP Framework for Computing Structural Test Data. In: Lloyd, J., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Palamidessi, C., Pereira, L.M., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol.\u00a01861, pp. 399\u2013413. Springer, Heidelberg (2000)"},{"key":"12_CR15","doi-asserted-by":"publisher","first-page":"2076","DOI":"10.1137\/S0036142903436174","volume":"42","author":"Y. Lebbah","year":"2005","unstructured":"Lebbah, Y., Michel, C., Rueher, M., Daney, D., Merlet, J.-P.: Efficient and safe global constraints for handling numerical constraint systems. SIAM J. Numer. Anal.\u00a042, 2076\u20132097 (2005)","journal-title":"SIAM J. Numer. Anal."},{"key":"12_CR16","unstructured":"Lhomme, O.: Consistency techniques for numeric CSPs. In: IJCAI, pp. 232\u2013238 (1993)"},{"key":"12_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1007\/978-3-642-15396-9_30","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2010","author":"B. Marre","year":"2010","unstructured":"Marre, B., Michel, C.: Improving the Floating Point Addition and Subtraction Constraints. In: Cohen, D. (ed.) CP 2010. LNCS, vol.\u00a06308, pp. 360\u2013367. Springer, Heidelberg (2010)"},{"key":"12_CR18","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/BF01580665","volume":"10","author":"G.P. McCormick","year":"1976","unstructured":"McCormick, G.P.: Computability of global solutions to factorable nonconvex programs \u2013 part i \u2013 convex underestimating problems. Mathematical Programming\u00a010, 147\u2013175 (1976)","journal-title":"Mathematical Programming"},{"key":"12_CR19","unstructured":"Michel, C., Lebbah, Y., Rueher, M.: Safe embedding of the simplex algorithm in a CSP framework. In: Proc. of CPAIOR 2003, CRT, Universit\u00e9 de Montr\u00e9al, pp. 210\u2013220 (2003)"},{"key":"12_CR20","unstructured":"Michel, C.: Exact projection functions for floating point number constraints. In: AMAI (2002)"},{"key":"12_CR21","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":"12_CR22","unstructured":"Min\u00e9, A.: Weakly Relational Numerical Abstract Domains. PhD thesis, \u00c9cole Polytechnique, Palaiseau, France (December 2004)"},{"key":"12_CR23","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/s10107-003-0433-3","volume":"99","author":"A. Neumaier","year":"2004","unstructured":"Neumaier, A., Shcherbina, O.: Safe bounds in linear and mixed-integer programming. Math. Programming A\u00a099, 283\u2013296 (2004)","journal-title":"Math. Programming A"},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"Ryoo, H.S., Sahinidis, N.V.: A branch-and-reduce approach to global optimization. Journal of Global Optimization, 107\u2013138 (1996)","DOI":"10.1007\/BF00138689"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33558-7_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,7]],"date-time":"2019-05-07T23:15:42Z","timestamp":1557270942000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33558-7_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642335570","9783642335587"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33558-7_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}