{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:55:48Z","timestamp":1729666548349,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1109\/fmcad.2016.7886677","type":"proceedings-article","created":{"date-parts":[[2017,3,28]],"date-time":"2017-03-28T02:52:44Z","timestamp":1490669564000},"page":"177-184","source":"Crossref","is-referenced-by-count":11,"title":["Accurate ICP-based floating-point reasoning"],"prefix":"10.1109","author":[{"given":"Karsten","family":"Scheibler","sequence":"first","affiliation":[]},{"given":"Felix","family":"Neubauer","sequence":"additional","affiliation":[]},{"given":"Ahmed","family":"Mahdi","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Franzle","sequence":"additional","affiliation":[]},{"given":"Tino","family":"Teige","sequence":"additional","affiliation":[]},{"given":"Tom","family":"Bienmuller","sequence":"additional","affiliation":[]},{"given":"Detlef","family":"Fehrer","sequence":"additional","affiliation":[]},{"given":"Bernd","family":"Becker","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"220","article-title":"Grasp-a new search algorithm for satisfiability","author":"silva","year":"1996","journal-title":"ICCAD"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/368273.368557"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011276507260"},{"key":"ref13","article-title":"Interpolation and sat-based model checking","author":"mcmillan","year":"2003","journal-title":"CAV"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-8348-9949-1"},{"key":"ref15","article-title":"Recent improvements in the SMT solver ISAT","author":"scheibler","year":"2013","journal-title":"MBMV"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2014.6987614"},{"key":"ref17","first-page":"1132","article-title":"IEEE standard for floating-point arithmetic","author":"colishaw","year":"2008"},{"key":"ref18","article-title":"Exact projection functions for floating point number constraints","author":"michel","year":"2002","journal-title":"AI&M"},{"key":"ref19","first-page":"1860","article-title":"Extending ISAT3 with ICP-Contractors for Bitwise Integer Operations","author":"scheibler","year":"2016","journal-title":"SFB\/TR 14 AVACS Reports of SFB\/TR 14 AVACS 36"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/S1574-6526(06)80020-9"},{"key":"ref3","first-page":"125","article-title":"Logical arithmetic","volume":"2","author":"cleary","year":"1987","journal-title":"Future Computing Systems"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35873-9_27"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"209","DOI":"10.3233\/SAT190012","article-title":"Efficient solving of large non-linear arithmetic constraint systems with complex boolean structure","volume":"1","author":"fr\u00e4nzle","year":"2007","journal-title":"Journal on Satisfiability Boolean Modeling and Computation"},{"key":"ref8","volume":"185","author":"biere","year":"2009","journal-title":"Handbook of Satisfiability ser Frontiers in Artificial Intelligence and Applications IOS Press"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-013-0203-7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888901000017"},{"key":"ref1","article-title":"The MathSAT5 SMT solver","author":"cimatti","year":"2013","journal-title":"TACAS"},{"key":"ref9","article-title":"On the complexity of derivations in propositional calculus","author":"tseitin","year":"1968","journal-title":"Studies in Constructive Mathematics and Mathematical Logics A Slisenko Ed"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19458-5_5"}],"event":{"name":"2016 Formal Methods in Computer-Aided Design (FMCAD)","start":{"date-parts":[[2016,10,3]]},"location":"Mountain View, CA, USA","end":{"date-parts":[[2016,10,6]]}},"container-title":["2016 Formal Methods in Computer-Aided Design (FMCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7879555\/7886641\/07886677.pdf?arnumber=7886677","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,4]],"date-time":"2020-10-04T12:52:42Z","timestamp":1601815962000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7886677\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/fmcad.2016.7886677","relation":{},"subject":[],"published":{"date-parts":[[2016,10]]}}}