{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T16:54:29Z","timestamp":1773248069173,"version":"3.50.1"},"reference-count":21,"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"}],"funder":[{"DOI":"10.13039\/501100002920","name":"Research Grants Council of Hong Kong SAR","doi-asserted-by":"publisher","award":["CUHK14210723"],"award-info":[{"award-number":["CUHK14210723"]}],"id":[{"id":"10.13039\/501100002920","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,10,28]]},"DOI":"10.1109\/iccad57390.2023.10323856","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":11,"title":["AlphaSyn: Logic Synthesis Optimization with Efficient Monte Carlo Tree Search"],"prefix":"10.1109","author":[{"given":"Zehua","family":"Pei","sequence":"first","affiliation":[{"name":"Chinese University of Hong Kong"}]},{"given":"Fangzhou","family":"Liu","sequence":"additional","affiliation":[{"name":"Shanghai Artificial Intelligence Laboratory"}]},{"given":"Zhuolun","family":"He","sequence":"additional","affiliation":[{"name":"Chinese University of Hong Kong"}]},{"given":"Guojin","family":"Chen","sequence":"additional","affiliation":[{"name":"Chinese University of Hong Kong"}]},{"given":"Haisheng","family":"Zheng","sequence":"additional","affiliation":[{"name":"Shanghai Artificial Intelligence Laboratory"}]},{"given":"Keren","family":"Zhu","sequence":"additional","affiliation":[{"name":"Chinese University of Hong Kong"}]},{"given":"Bei","family":"Yu","sequence":"additional","affiliation":[{"name":"Chinese University of Hong Kong"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2018.8465913"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2022.3226668"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ASP-DAC47756.2020.9045559"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3380446.3430622"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD51958.2021.9643530"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/tcad.2022.3213611"},{"key":"ref7","doi-asserted-by":"crossref","DOI":"10.1145\/3566097.3567894","article-title":"Area-driven FPGA logic synthesis using reinforcement learning","volume-title":"IEEE\/ACM Asia and South Pacific Design Automation Conference (ASPDAC)","author":"Zhou"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.23919\/DATE54114.2022.9774632"},{"key":"ref9","doi-asserted-by":"crossref","DOI":"10.1145\/3508352.3549363","article-title":"Batch sequential black-box optimization with embedding alignment cells for logic synthesis","volume-title":"IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)","author":"Feng"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3489517.3530460"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2002.804386"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-374364-0.50013-8"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_5"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2617593"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.13140\/RG.2.2.18893.74727"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1038\/nature24270"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-011-9258-6"},{"key":"ref18","article-title":"Inductive representation learning on large graphs","volume-title":"Annual Conference on Neural Information Processing Systems (NeurIPS)","author":"Hamilton"},{"key":"ref19","article-title":"Self-attention graph pooling","volume-title":"International Conference on Machine Learning (ICML)","author":"Lee"},{"key":"ref20","volume-title":"Yosys open synthesis suite","author":"Wolf"},{"key":"ref21","article-title":"The EPFL combinational benchmark suite","volume-title":"IEEE\/ACM International Workshop on Logic Synthesis","author":"Amar\u00fa"}],"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\/10323856.pdf?arnumber=10323856","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,14]],"date-time":"2024-03-14T04:52:26Z","timestamp":1710391946000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10323856\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,28]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/iccad57390.2023.10323856","relation":{},"subject":[],"published":{"date-parts":[[2023,10,28]]}}}