{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T17:18:33Z","timestamp":1730222313728,"version":"3.28.0"},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/fmcad.2015.7542262","type":"proceedings-article","created":{"date-parts":[[2016,8,15]],"date-time":"2016-08-15T20:28:56Z","timestamp":1471292936000},"page":"128-135","source":"Crossref","is-referenced-by-count":2,"title":["Better lemmas with lambda extraction"],"prefix":"10.1109","author":[{"given":"Mathias","family":"Preiner","sequence":"first","affiliation":[]},{"given":"Aina","family":"Niemetz","sequence":"additional","affiliation":[]},{"given":"Armin","family":"Biere","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_49"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36742-7_7"},{"journal-title":"Adaptive Eager Boolean Encoding for Arithmetic Reasoning in Verification","year":"2005","author":"seshia","key":"ref10"},{"journal-title":"System Description SONOLARSMT-COMP 2014","year":"0","author":"lapschies","key":"ref6"},{"key":"ref5","first-page":"108","article-title":"Extending the theory of arrays: memset, memcpy, and beyond","volume":"8164","author":"falke","year":"2013","journal-title":"Proc VSTTE Selected Papers"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_3"},{"key":"ref7","first-page":"21","article-title":"Towards a Mathematical Scienceof Computation","author":"mccarthy","year":"0","journal-title":"IFIP Congress"},{"key":"ref2","first-page":"209","article-title":"KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs","author":"cadar","year":"2008","journal-title":"Proc USENIX"},{"key":"ref9","article-title":"Lemmas on demand for lambdas","author":"preincr","year":"2013","journal-title":"Proc DIFTS volume 1130 of CEUR Workshop Proceedings"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45657-0_7"}],"event":{"name":"2015 Formal Methods in Computer-Aided Design (FMCAD)","start":{"date-parts":[[2015,9,27]]},"location":"Austin, TX, USA","end":{"date-parts":[[2015,9,30]]}},"container-title":["2015 Formal Methods in Computer-Aided Design (FMCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7539356\/7542233\/07542262.pdf?arnumber=7542262","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T20:55:28Z","timestamp":1489784128000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7542262\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/fmcad.2015.7542262","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}