{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,19]],"date-time":"2026-05-19T15:04:06Z","timestamp":1779203046894,"version":"3.51.4"},"reference-count":64,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"9","license":[{"start":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T00:00:00Z","timestamp":1567296000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T00:00:00Z","timestamp":1567296000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T00:00:00Z","timestamp":1567296000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"CyberCare","award":["H2020-ERC-2014-ADG 669354"],"award-info":[{"award-number":["H2020-ERC-2014-ADG 669354"]}]},{"DOI":"10.13039\/501100001711","name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung","doi-asserted-by":"publisher","award":["200021-169084 MAJesty"],"award-info":[{"award-number":["200021-169084 MAJesty"]}],"id":[{"id":"10.13039\/501100001711","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000921","name":"European Cooperation in Science and Technology","doi-asserted-by":"publisher","award":["IC1405"],"award-info":[{"award-number":["IC1405"]}],"id":[{"id":"10.13039\/501100000921","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2019,9]]},"DOI":"10.1109\/tcad.2018.2859251","type":"journal-article","created":{"date-parts":[[2018,7,24]],"date-time":"2018-07-24T22:37:59Z","timestamp":1532471879000},"page":"1675-1688","source":"Crossref","is-referenced-by-count":32,"title":["LUT-Based Hierarchical Reversible Logic Synthesis"],"prefix":"10.1109","volume":"38","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0229-8766","authenticated-orcid":false,"given":"Mathias","family":"Soeken","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0234-2496","authenticated-orcid":false,"given":"Martin","family":"Roetteler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nathan","family":"Wiebe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7827-3215","authenticated-orcid":false,"given":"Giovanni De","family":"Micheli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.87.022328"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.52.3457"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/2431211.2431220"},{"key":"ref32","article-title":"Fast heuristic minimization of exclusive-sums-of-products","author":"mishchenko","year":"2001","journal-title":"Proc of the Reed-Muller Workshop (RMW)"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/988952.988971"},{"key":"ref30","first-page":"17","article-title":"Minimization of ring-sum expansions of Boolean functions","volume":"28","author":"bioul","year":"1973","journal-title":"Philips Res Rep"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2016.33"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.87.042302"},{"key":"ref35","first-page":"1261","article-title":"An algorithm for the T count","volume":"14","author":"gosset","year":"2014","journal-title":"Quant Inf Comput"},{"key":"ref34","author":"nielsen","year":"2000","journal-title":"Quantum Computation and Quantum Information"},{"key":"ref60","first-page":"2331","article-title":"Heuristics for area minimization in LUT-based FPGA technology mapping","author":"manohararajah","year":"2004","journal-title":"Proc Int Workshop Logic Synth"},{"key":"ref62","first-page":"55","article-title":"RevKit: A toolkit for reversible circuit design","volume":"18","author":"soeken","year":"2012","journal-title":"J Multiple-Valued Logic Soft Computing"},{"key":"ref61","article-title":"SAT-based area recovery in technology mapping","author":"schmitt","year":"2017","journal-title":"Proc Int Workshop Logic Synth"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1145\/1629911.1629984"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2488484"},{"key":"ref64","article-title":"The EPFL combinational benchmark suite","author":"amar\u00f9","year":"2015","journal-title":"Proc Int Workshop Logic Synth"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2002.804386"},{"key":"ref29","doi-asserted-by":"crossref","first-page":"183","DOI":"10.3934\/amc.2008.2.183","article-title":"Young subgroups for reversible computers","volume":"2","author":"de vos","year":"2008","journal-title":"Adv Math Commun"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1038\/nature18648"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/3061639.3062261"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.22331\/q-2018-01-31-49"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/43.273754"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_5"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2007.4397290"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2004.1382677"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2012.6176724"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2006.887925"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2014.2341953"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/1\/1\/015003"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1145\/296399.296425"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/92.285741"},{"key":"ref57","article-title":"Boolean function classification with \n$\\delta $\n-swaps","author":"soeken","year":"2017","journal-title":"Proc of the Reed-Muller Workshop (RMW)"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-40578-0_19"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2016.2557329"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/PGEC.1963.263656"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1137\/0112026"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08494-7_13"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2017.7927035"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"703","DOI":"10.1109\/TCAD.2009.2017215","article-title":"Exact multiple-control Toffoli network synthesis with SAT techniques","volume":"28","author":"gro\u00dfe","year":"2009","journal-title":"IEEE Trans Comput -Aided Design Integr Circuits Syst"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1137\/0218053"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/775832.775915"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/IDT.2010.5724427"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1147\/rd.176.0525"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/PACRIM.2015.7334819"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837439"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/PACRIM.2007.4313212"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1038\/nature23459"},{"key":"ref19","article-title":"LIQ\n$Ui|\\rangle $\n: A software design architecture and domain-specific language for quantum computing","author":"wecker","year":"2014","journal-title":"arXiv preprint arXiv 1402 4467"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1038\/nature18318"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1618020114"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2013.2244643"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevX.6.031007"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-20860-2_20"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.93.022311"},{"key":"ref49","article-title":"Minimization of exclusive sum of product expressions for mutliple-valued input incompletely specified functions","author":"song","year":"1992"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2897937.2898107"},{"key":"ref46","author":"davio","year":"1978","journal-title":"Discrete and Switching Functions"},{"key":"ref45","first-page":"145","author":"schmitt","year":"2017","journal-title":"Proc Asia South Pacific Design Automat Conf"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/12.795226"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3154-8_13"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/CCC.2013.22"},{"key":"ref41","first-page":"292","article-title":"Time and space complexity of reversible pebbling","author":"kr\u00e1lovic","year":"2001","journal-title":"Proc Int Conf Current Trends Theory Pract Informat"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-59936-6_7"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21398-9_7"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/43\/8807328\/08418797.pdf?arnumber=8418797","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,13]],"date-time":"2022-07-13T21:14:51Z","timestamp":1657746891000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8418797\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9]]},"references-count":64,"journal-issue":{"issue":"9"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2018.2859251","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,9]]}}}