{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,18]],"date-time":"2026-06-18T20:51:20Z","timestamp":1781815880079,"version":"3.54.5"},"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-30T13:58:45Z","timestamp":1701352725000},"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":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shao-Ting","family":"Chung","sequence":"additional","affiliation":[{"name":"Graduate Institute of Electronics Engineering, National Taiwan University,Taipei,Taiwan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tian-Fu","family":"Chen","sequence":"additional","affiliation":[{"name":"Graduate School of Advanced Technology, National Taiwan University,Taipei,Taiwan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yu-Wei","family":"Fan","sequence":"additional","affiliation":[{"name":"Graduate Institute of Electronics Engineering, National Taiwan University,Taipei,Taiwan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Che","family":"Cheng","sequence":"additional","affiliation":[{"name":"Graduate Institute of Electronics Engineering, National Taiwan University,Taipei,Taiwan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Cheng-Han","family":"Liu","sequence":"additional","affiliation":[{"name":"Graduate School of Advanced Technology, National Taiwan University,Taipei,Taiwan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jie-Hong R.","family":"Jiang","sequence":"additional","affiliation":[{"name":"Graduate Institute of Electronics Engineering, National Taiwan University,Taipei,Taiwan"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"IC Mask Design: Essential Layout Techniques","author":"Saint","year":"2002"},{"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"},{"key":"ref6","volume-title":"Problem A: Learning arithmetic operations from gate-level circuit","author":"Chou","year":"2022"},{"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"},{"key":"ref18","volume-title":"PySR: Fast & parallelized symbolic regression in Python\/Julia","author":"Cranmer","year":"2020"},{"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)","location":"San Francisco, CA, USA","start":{"date-parts":[[2023,10,28]]},"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":[[2026,6,18]],"date-time":"2026-06-18T20:03:27Z","timestamp":1781813007000},"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]]}}}