{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T08:40:16Z","timestamp":1725698416373},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,11]]},"DOI":"10.1109\/fmcad.2009.5351140","type":"proceedings-article","created":{"date-parts":[[2009,12,11]],"date-time":"2009-12-11T18:55:16Z","timestamp":1260557716000},"page":"61-68","source":"Crossref","is-referenced-by-count":13,"title":["Efficient decision procedure for non-linear arithmetic constraints using CORDIC"],"prefix":"10.1109","author":[{"given":"Malay K.","family":"Ganai","sequence":"first","affiliation":[]},{"given":"Franjo","family":"Ivancic","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"An SMT solver","year":"0","key":"19"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-006-0031-0"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/78.127956"},{"key":"23","article-title":"Sofware Model Checking the Precision of Floating-Point Programs","author":"ivanc?ic?","year":"2009","journal-title":"Under submission"},{"year":"0","key":"18"},{"key":"24","article-title":"Static analyses of the precision of floating-point operations","author":"goubault","year":"2001","journal-title":"Proc SASO"},{"key":"15","article-title":"Efficient decision procedure for bounded integer non-linear operations using smt(lia)","author":"ganai","year":"2008","journal-title":"Haifa Verification Conference"},{"year":"0","key":"16"},{"journal-title":"Ipopt","year":"0","key":"13"},{"journal-title":"Hysat team","year":"0","key":"14"},{"year":"0","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1137\/S1052623403426556"},{"journal-title":"NECLA SAV Benchmarks","year":"0","key":"21"},{"key":"3","article-title":"A fast linear-arithmetic solver for DPLL(T)","author":"dutertre","year":"2006","journal-title":"Proc of CAV"},{"journal-title":"Conference Notes","year":"0","author":"ganai","key":"20"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/1233501.1233664"},{"key":"1","article-title":"Symbolic model checking without BDDs","author":"biere","year":"1999","journal-title":"Proc of TACAS"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/368273.368557"},{"key":"7","doi-asserted-by":"crossref","DOI":"10.3233\/SAT190012","article-title":"Efficient solving of large non-linear arithmetic constraint systems with complex Boolean structure","author":"franzle","year":"2007","journal-title":"J Satisfiability Boolean Model Comput"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2007.364411"},{"key":"5","article-title":"The MathSAT 3 System","author":"bozzano","year":"2005","journal-title":"Proc of CADE"},{"key":"4","article-title":"DPLL(T) with exhaustive theory propogation and its application to difference logic","author":"nieuwenhuis","year":"2005","journal-title":"Proc of CAV"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1478786.1478840"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TEC.1959.5222693"}],"event":{"name":"2009 9<sup>th<\/sup> International Conference Formal Methods in Computer-Aided Design (FMCAD)","start":{"date-parts":[[2009,11,15]]},"location":"Austin, TX","end":{"date-parts":[[2009,11,18]]}},"container-title":["2009 Formal Methods in Computer-Aided Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5344684\/5351113\/05351140.pdf?arnumber=5351140","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,24]],"date-time":"2020-05-24T06:19:18Z","timestamp":1590301158000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5351140\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,11]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/fmcad.2009.5351140","relation":{},"subject":[],"published":{"date-parts":[[2009,11]]}}}