{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T22:34:57Z","timestamp":1773268497892,"version":"3.50.1"},"reference-count":41,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T00:00:00Z","timestamp":1743465600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T00:00:00Z","timestamp":1743465600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T00:00:00Z","timestamp":1743465600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62374114"],"award-info":[{"award-number":["62374114"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61974105"],"award-info":[{"award-number":["61974105"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62102130"],"award-info":[{"award-number":["62102130"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"State Key Program of Major Research Plan of National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["92473203"],"award-info":[{"award-number":["92473203"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Central Government Guides Local Science and Technology Development Fund Project","award":["226Z0201G"],"award-info":[{"award-number":["226Z0201G"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2025,4]]},"DOI":"10.1109\/tcad.2024.3485577","type":"journal-article","created":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T17:48:25Z","timestamp":1729705705000},"page":"1380-1393","source":"Crossref","is-referenced-by-count":3,"title":["Multiobjective Optimization in Logic Synthesis Based on TB-RM Dual Logic"],"prefix":"10.1109","volume":"44","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6460-7480","authenticated-orcid":false,"given":"Yuhao","family":"Zhou","sequence":"first","affiliation":[{"name":"School of Computer Science and Technology, Tongji University, Shanghai, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0019-8240","authenticated-orcid":false,"given":"Zhen","family":"Wang","sequence":"additional","affiliation":[{"name":"School of the Computer Science and Technology, Shanghai University of Electric Power, Shanghai, China"}]},{"given":"Xiangxue","family":"Kong","sequence":"additional","affiliation":[{"name":"Middle School Mathematics Department, No. 40 Middle School of Linyi, Linyi, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-0874-4518","authenticated-orcid":false,"given":"Hongyang","family":"Pan","sequence":"additional","affiliation":[{"name":"School of Microelectronics, State Key Laboratory of Integrated Chips and System, Fudan University, Shanghai, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7041-8582","authenticated-orcid":false,"given":"Zhenxue","family":"He","sequence":"additional","affiliation":[{"name":"Key Laboratory of Agricultural Big Data of Hebei Province, Hebei Agricultural University, Baoding, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7887-6510","authenticated-orcid":false,"given":"Ying","family":"Zhang","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Tongji University, Shanghai, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5829-8423","authenticated-orcid":false,"given":"Jianhui","family":"Jiang","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Tongji University, Shanghai, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9806-5851","authenticated-orcid":false,"given":"Limin","family":"Xiao","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering, Beihang University, Beijing, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8799-2644","authenticated-orcid":false,"given":"Xiang","family":"Wang","sequence":"additional","affiliation":[{"name":"School of Electronic and Information Engineering, Beihang University, Beijing, China"}]}],"member":"263","reference":[{"key":"ref1","first-page":"2430","article-title":"Device placement optimization with reinforcement learning","volume-title":"Proc. Int. Conf. Mach. Learn. (PMLR)","author":"Zirhoseini"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2009.113"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/APCCAS.2008.4746088"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2022.3149720"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TCSI.2021.3072772"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3587818"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2015.2460377"},{"issue":"7","key":"ref8","first-page":"1601","article-title":"Optimization of MPRM circuits based on ternary diversity particle swarm optimization","volume":"45","author":"Yu","year":"2017","journal-title":"Acta Electronica Sinica"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/LED.2021.3062382"},{"issue":"3","key":"ref10","first-page":"725","article-title":"Area and delay optimization of binary decision diagrams mapped circuit","volume":"41","author":"Zhang","year":"2019","journal-title":"J. Electron. Inf. Technol."},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.asoc.2022.109720"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/BF02948902"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1049\/cje.2020.07.005"},{"issue":"12","key":"ref14","first-page":"1522","article-title":"Detection algorithm for logic functions to benefit from dual logic implementation","volume":"19","author":"Xia","year":"2007","journal-title":"J. Comput. Design Comput. Graphics"},{"issue":"5","key":"ref15","first-page":"961","article-title":"Algorithms for detecting dual logic based on product term","volume":"37","author":"Ye","year":"2009","journal-title":"Acta Electronica Sinica"},{"issue":"10","key":"ref16","first-page":"2091","article-title":"Logic detection and decomposition algorithm based on disjointed cubes","volume":"40","author":"Wang","year":"2012","journal-title":"Acta Electronica Sinica"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.1998.669404"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1049\/ip-cdt:20020412"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s11390-017-1723-1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2023.3237885"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2022.3193897"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2022.3192176"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2023.3239534"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2022.3170212"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1002\/cta.1990"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.microrel.2010.07.058"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2010.26"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/IOLTS.2011.5994537"},{"issue":"11","key":"ref29","first-page":"2653","article-title":"Pareto dominance based area and reliability optimization of MPRM circuits","volume":"44","author":"Bu","year":"2016","journal-title":"Acta Electronica Sinica"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TCYB.2022.3175533"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2021.3117508"},{"key":"ref32","first-page":"1","article-title":"Logic synthesis and optimization benchmarks user guide version 3.0","volume-title":"Proc. MCNC Int. Workshop Logic Synth.","author":"Yang"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TPS.2024.3393414"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/JSEN.2020.2976198"},{"key":"ref36","article-title":"Marine predators algorithm: A nature-inspired metaheuristic","volume":"152","author":"Afshin","year":"2023","journal-title":"Expert Syst. Appl."},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TCYB.2021.3101880"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1016\/j.advengsoft.2016.01.008"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1016\/j.engappai.2023.106207"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1142\/s021812662020008x"},{"issue":"5","key":"ref42","first-page":"72","article-title":"Area and power optimization of MPRM circuit based on PDTDPSO","volume":"37","author":"Yan","year":"2020","journal-title":"Comput. Appl. Softw."},{"key":"ref43","volume-title":"ABC: A system for sequential synthesis and verification.","year":"2022"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/43\/10934961\/10729855.pdf?arnumber=10729855","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,24]],"date-time":"2025-03-24T18:24:35Z","timestamp":1742840675000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10729855\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,4]]},"references-count":41,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2024.3485577","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,4]]}}}