{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T15:00:32Z","timestamp":1729609232510,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,11]]},"DOI":"10.1109\/iccad.2010.5654279","type":"proceedings-article","created":{"date-parts":[[2010,12,10]],"date-time":"2010-12-10T22:29:13Z","timestamp":1292020153000},"page":"756-761","source":"Crossref","is-referenced-by-count":3,"title":["Polynomial datapath optimization using constraint solving and formal modelling"],"prefix":"10.1109","author":[{"given":"Finn","family":"Haedicke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bijan","family":"Alizadeh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gourschwin","family":"Fey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masahiro","family":"Fujita","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"15","first-page":"174","article-title":"Boolector: An efficient SMT solver for bit-vectors and arrays","author":"brummayer","year":"2009","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1687399.1687536"},{"journal-title":"The Satisfiability Modulo Theories Library (SMT-LIB)","year":"2006","author":"ranise","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2006.875712"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/1629911.1630151"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/363011.363153"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/321992.322001"},{"key":"1","first-page":"22","article-title":"Modular-HED: A canonical decision diagram for modular equivalence verification of polynomial functions","author":"alizadeh","year":"2008","journal-title":"Proc Int Workshop Constraints Formal Verification (CFV)"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090892"},{"journal-title":"JuanCSE","year":"2005","author":"derenzi","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2004.1382566"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/1278349.1278362"},{"key":"4","doi-asserted-by":"crossref","first-page":"1154","DOI":"10.1109\/TCAD.2003.816213","article-title":"Application of symbolic computer algebra in high-level data-flow synthesis","volume":"22","author":"peymandoust","year":"2003","journal-title":"IEEE Trans on CAD"},{"key":"9","first-page":"143","article-title":"Finding linear building-blocks for RTL synthesis of polynomial datapaths with fixed-size bit-vectors","author":"gopalakrishnan","year":"2007","journal-title":"Int'l Conf on CAD"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2007.11.005"}],"event":{"name":"2010 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)","start":{"date-parts":[[2010,11,7]]},"location":"San Jose, CA, USA","end":{"date-parts":[[2010,11,11]]}},"container-title":["2010 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5638200\/5648785\/05654279.pdf?arnumber=5654279","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T13:08:11Z","timestamp":1497877691000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5654279\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/iccad.2010.5654279","relation":{},"subject":[],"published":{"date-parts":[[2010,11]]}}}