{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T10:23:27Z","timestamp":1778495007686,"version":"3.51.4"},"reference-count":40,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"12","license":[{"start":{"date-parts":[[2020,12,1]],"date-time":"2020-12-01T00:00:00Z","timestamp":1606780800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,12,1]],"date-time":"2020-12-01T00:00:00Z","timestamp":1606780800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,12,1]],"date-time":"2020-12-01T00:00:00Z","timestamp":1606780800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"LIT Secure and Correct System Lab"},{"name":"State of Upper Austria"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2020,12]]},"DOI":"10.1109\/tcad.2020.2977603","type":"journal-article","created":{"date-parts":[[2020,3,3]],"date-time":"2020-03-03T21:55:12Z","timestamp":1583272512000},"page":"4657-4668","source":"Crossref","is-referenced-by-count":15,"title":["Overcoming the Tradeoff Between Accuracy and Compactness in Decision Diagrams for Quantum Computation"],"prefix":"10.1109","volume":"39","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0826-0985","authenticated-orcid":false,"given":"Philipp","family":"Niemann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2258-4118","authenticated-orcid":false,"given":"Alwin","family":"Zulehner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4993-7860","authenticated-orcid":false,"given":"Robert","family":"Wille","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462177"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/780542.780552"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1080\/00268976.2011.552441"},{"key":"ref32","author":"knuth","year":"2011","journal-title":"The art of computer programming Binary decision diagrams"},{"key":"ref31","author":"somenzi","year":"2015","journal-title":"Cudd Cu decision diagram package release 3 0 0"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/157485.164890"},{"key":"ref37","author":"foundation","year":"2016","journal-title":"The GNU Multiple Precision Arithmetic Library Release 6 1 2"},{"key":"ref36","author":"artin","year":"2011","journal-title":"Algebra"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0987-4"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0190(00)00084-3"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2017.7927034"},{"key":"ref40","year":"2020","journal-title":"QMDD Package"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1023\/B:QINP.0000022725.70000.4a"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.244176"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1093\/ietfec\/e91-a.2.584"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2459034"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2012.6165069"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2014.6742938"},{"key":"ref18","first-page":"996","article-title":"One-pass design of reversible circuits: Combining embedding and synthesis for reversible logic","volume":"37","author":"zulehner","year":"2018","journal-title":"IEEE Trans Comput -Aided Design Integr Circuits Syst"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2018.8342078"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/217474.217583"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MSPEC.2018.8322045"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/43.728917"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539795293172"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2017.2760511"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38986-3_11"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2846658"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.87.032332"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2017.2717783"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/237814.237866"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.22331\/q-2018-01-31-49"},{"key":"ref1","author":"nielsen","year":"2000","journal-title":"Quantum Computation and Quantum Information"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2009.19"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08494-7_16"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/NANOARCH.2010.5510932"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2834427"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ASP-DAC47756.2020.9045153"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8715040"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8714836"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/43\/9265421\/09023381.pdf?arnumber=9023381","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,27]],"date-time":"2022-04-27T14:06:25Z","timestamp":1651068385000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9023381\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,12]]},"references-count":40,"journal-issue":{"issue":"12"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2020.2977603","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,12]]}}}