{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,24]],"date-time":"2025-09-24T08:50:34Z","timestamp":1758703834487},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.23919\/fmcad.2017.8102235","type":"proceedings-article","created":{"date-parts":[[2017,11,9]],"date-time":"2017-11-09T21:49:00Z","timestamp":1510264140000},"page":"11-14","source":"Crossref","is-referenced-by-count":9,"title":["goSAT: Floating-point satisfiability as global optimization"],"prefix":"10.23919","author":[{"given":"M. Ammar","family":"Ben Khadra","sequence":"first","affiliation":[]},{"given":"Dominik","family":"Stoffel","sequence":"additional","affiliation":[]},{"given":"Wolfgang","family":"Kunz","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10898-008-9332-8"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1002\/0471722138"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-004-0559-y"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10898-012-9951-y"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1504\/IJMMNO.2013.055204"},{"journal-title":"Benchmarks of QF_FP track in SMT-COMP (2015)","year":"0","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535857"},{"key":"ref17","first-page":"194","article-title":"vZ - An Optimizing SMT Solver","author":"bj\u00f8rner","year":"2015","journal-title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref18","doi-asserted-by":"crossref","DOI":"10.1609\/aaai.v29i1.9372","article-title":"Stochastic Local Search for Satisfiability Modulo Theories","author":"fr\u00f6hlich","year":"2015","journal-title":"Proceedings of AAAI Conference on Artificial Intelligence"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08587-6_26"},{"key":"ref3","first-page":"131","article-title":"Deciding floating-point logic with systematic abstraction","author":"haller","year":"2012","journal-title":"Proceeding of Formal Methods in Computer-Aided Design (FMCAD'12)"},{"journal-title":"Intel overstates FPU accuracy","year":"0","author":"duplichan","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-013-0203-7"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1021\/jp970984n"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-0015-5"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2016.7886677"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41540-6_11"},{"journal-title":"The NLopt Nonlinear-optimization Package","year":"0","author":"johnson","key":"ref9"}],"event":{"name":"2017 Formal Methods in Computer-Aided Design (FMCAD)","start":{"date-parts":[[2017,10,2]]},"location":"Vienna","end":{"date-parts":[[2017,10,6]]}},"container-title":["2017 Formal Methods in Computer Aided Design (FMCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8093672\/8102222\/08102235.pdf?arnumber=8102235","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,6]],"date-time":"2022-08-06T23:14:21Z","timestamp":1659827661000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8102235\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":18,"URL":"https:\/\/doi.org\/10.23919\/fmcad.2017.8102235","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}