{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T23:23:18Z","timestamp":1771024998312,"version":"3.50.1"},"reference-count":33,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"7","license":[{"start":{"date-parts":[[2025,7,1]],"date-time":"2025-07-01T00:00:00Z","timestamp":1751328000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/100007140","name":"Synopsys","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100007140","id-type":"DOI","asserted-by":"publisher"}]},{"name":"SRC through Standardizing Boolean transforms to improve the quality and runtime of CAD tools","award":["3173.001"],"award-info":[{"award-number":["3173.001"]}]},{"name":"Synopsys Inc."}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2025,7]]},"DOI":"10.1109\/tcad.2025.3525617","type":"journal-article","created":{"date-parts":[[2025,1,3]],"date-time":"2025-01-03T19:26:53Z","timestamp":1735932413000},"page":"2571-2584","source":"Crossref","is-referenced-by-count":2,"title":["Area-Oriented Resubstitution For Networks of Look-Up Tables"],"prefix":"10.1109","volume":"44","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7948-8894","authenticated-orcid":false,"given":"Andrea","family":"Costamagna","sequence":"first","affiliation":[{"name":"Integrated Systems Laboratory, EPFL—Swiss Federal Institute of Technology Lausanne, Lausanne, Switzerland"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1312-2907","authenticated-orcid":false,"given":"Alessandro","family":"Tempia Calvino","sequence":"additional","affiliation":[{"name":"Integrated Systems Laboratory, EPFL—Swiss Federal Institute of Technology Lausanne, Lausanne, Switzerland"}]},{"given":"Alan","family":"Mishchenko","sequence":"additional","affiliation":[{"name":"Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, CA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7827-3215","authenticated-orcid":false,"given":"Giovanni","family":"De Micheli","sequence":"additional","affiliation":[{"name":"Integrated Systems Laboratory, EPFL—Swiss Federal Institute of Technology Lausanne, Lausanne, Switzerland"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2068716.2068720"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-99-7755-0_9"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.5815\/ijieeb.2012.05.07"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2006.882119"},{"key":"ref5","volume-title":"Synthesis and Optimization of Digital Circuits","author":"Micheli","year":"1994"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2023.3256341"},{"key":"ref7","first-page":"15","article-title":"Scalable logic synthesis using a simple circuit structure","volume-title":"Proc. IWLS","author":"Brayton"},{"key":"ref8","first-page":"49","article-title":"The decomposition and factorization of Boolean expressions","volume-title":"Proc. ISCAS","author":"Brayton"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2021.3108704"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.860955"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27813-9_21"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_5"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2008.4681549"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/EURMIC.1997.617209"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2007.358019"},{"key":"ref16","volume-title":"SPFDs: A New Approach to Flexibility in Logic Synthesis","author":"Sinha","year":"2002"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1996.569635"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/12.35836"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS58744.2024.10558264"},{"key":"ref20","volume-title":"Reinforcement Learning: An Introduction","author":"Sutton","year":"2018"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-27645-3_1"},{"key":"ref22","volume-title":"Introduction to Algorithms","author":"Cormen","year":"2022"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04565-7"},{"issue":"5","key":"ref24","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1016\/0005-1098(78)90005-5","article-title":"Modeling by shortest data description","volume":"14","author":"Rissanen","year":"1978","journal-title":"Automatica"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.23919\/DATE51398.2021.9473972"},{"key":"ref26","first-page":"911","article-title":"Learning complex Boolean functions: Algorithms and applications","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","volume":"6","author":"Oliveira"},{"key":"ref27","article-title":"Curiosity-driven exploration in sparse-reward multi-agent reinforcement learning","author":"Li","year":"2023","journal-title":"arXiv:2302.10825"},{"key":"ref28","article-title":"Reinforcement learning with sparse rewards using guidance from offline demonstration","author":"Rengarajan","year":"2022","journal-title":"arXiv:2202.04628"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-5316(97)00003-5"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1997.643371"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2018.8297386"},{"key":"ref32","first-page":"1","article-title":"The EPFL combinational benchmark suite","volume-title":"Proc. IWLS","author":"Amar\u00fa"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2018.8342108"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/43\/11044910\/10820546.pdf?arnumber=10820546","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,20]],"date-time":"2025-06-20T04:49:12Z","timestamp":1750394952000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10820546\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7]]},"references-count":33,"journal-issue":{"issue":"7"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2025.3525617","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,7]]}}}