{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T16:50:51Z","timestamp":1725727851549},"reference-count":22,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,10,28]],"date-time":"2023-10-28T00:00:00Z","timestamp":1698451200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,10,28]],"date-time":"2023-10-28T00:00:00Z","timestamp":1698451200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,10,28]]},"DOI":"10.1109\/iccad57390.2023.10323906","type":"proceedings-article","created":{"date-parts":[[2023,11,30]],"date-time":"2023-11-30T18:58:45Z","timestamp":1701370725000},"page":"1-9","source":"Crossref","is-referenced-by-count":0,"title":["WolFEx: Word-Level Function Extraction and Simplification from Gate-Level Arithmetic Circuits"],"prefix":"10.1109","author":[{"given":"Kuo-Wei","family":"Ho","sequence":"first","affiliation":[{"name":"Graduate Institute of Electronics Engineering, National Taiwan University,Taipei,Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shao-Ting","family":"Chung","sequence":"additional","affiliation":[{"name":"Graduate Institute of Electronics Engineering, National Taiwan University,Taipei,Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tian-Fu","family":"Chen","sequence":"additional","affiliation":[{"name":"Graduate School of Advanced Technology, National Taiwan University,Taipei,Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yu-Wei","family":"Fan","sequence":"additional","affiliation":[{"name":"Graduate Institute of Electronics Engineering, National Taiwan University,Taipei,Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Che","family":"Cheng","sequence":"additional","affiliation":[{"name":"Graduate Institute of Electronics Engineering, National Taiwan University,Taipei,Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cheng-Han","family":"Liu","sequence":"additional","affiliation":[{"name":"Graduate School of Advanced Technology, National Taiwan University,Taipei,Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jie-Hong R.","family":"Jiang","sequence":"additional","affiliation":[{"name":"Graduate Institute of Electronics Engineering, National Taiwan University,Taipei,Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"volume-title":"IC Mask Design: Essential Layout Techniques","year":"2002","author":"Saint","key":"ref1"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2755563"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2014.2332291"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3316781.3317898"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2021.3083682"},{"volume-title":"Problem A: Learning arithmetic operations from gate-level circuit","year":"2022","author":"Chou","key":"ref6"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2018.2812183"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s13389-021-00268-5"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2013.6581568"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD51958.2021.9643581"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2015.7542265"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2012.6224325"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2016.7538899"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2016.2547898"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1557\/mrc.2019.85"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2013.6557774"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.2166\/hydro.2009.017"},{"volume-title":"PySR: Fast & parallelized symbolic regression in Python\/Julia","year":"2020","author":"Cranmer","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3434304"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH54963.2022.00016"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3489517.3530605"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2005.1560122"}],"event":{"name":"2023 IEEE\/ACM International Conference on Computer Aided Design (ICCAD)","start":{"date-parts":[[2023,10,28]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2023,11,2]]}},"container-title":["2023 IEEE\/ACM International Conference on Computer Aided Design (ICCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10323590\/10323543\/10323906.pdf?arnumber=10323906","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,2]],"date-time":"2024-03-02T22:15:32Z","timestamp":1709417732000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10323906\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,28]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/iccad57390.2023.10323906","relation":{},"subject":[],"published":{"date-parts":[[2023,10,28]]}}}