{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T13:51:26Z","timestamp":1781272286667,"version":"3.54.1"},"reference-count":22,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2016,1]]},"DOI":"10.1109\/tcad.2015.2459034","type":"journal-article","created":{"date-parts":[[2015,7,21]],"date-time":"2015-07-21T18:41:55Z","timestamp":1437504115000},"page":"86-99","source":"Crossref","is-referenced-by-count":110,"title":["QMDDs: Efficient Quantum Function Representation and Manipulation"],"prefix":"10.1109","volume":"35","author":[{"given":"Philipp","family":"Niemann","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4993-7860","authenticated-orcid":false,"given":"Robert","family":"Wille","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David Michael","family":"Miller","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mitchell A.","family":"Thornton","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2003.1195031"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2006.35"},{"key":"ref13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-79779-8","author":"miller","year":"2008","journal-title":"Multiple-Valued Logic Concepts and Representations"},{"key":"ref14","first-page":"99","article-title":"Quantum logic circuit simulation based on the QMDD data structure","author":"goodman","year":"2007","journal-title":"Proc Reed-Muller Workshop"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1993.580029"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38986-3_11"},{"key":"ref17","first-page":"167","article-title":"Solutions to some functional equations and their applications to characterization of probability distributions","volume":"30","author":"khatri","year":"1968","journal-title":"Sankhya"},{"key":"ref18","first-page":"117","article-title":"Inequalities involving Khatri-Rao products of positive semi-definite matrices","volume":"2","author":"zhang","year":"2002","journal-title":"Appl Math E-Notes"},{"key":"ref19","first-page":"537","article-title":"QMDD minimization using sifting for variable reordering","volume":"13","author":"miller","year":"2007","journal-title":"J Multi-Valued Logic and Soft Computing"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/237814.237866"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1038\/414883a"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2012.6165069"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.244176"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2009.19"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2014.6742938"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1994.365700"},{"key":"ref1","author":"nielsen","year":"2000","journal-title":"Quantum Computation and Quantum Information"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2004.1269084"},{"key":"ref20","first-page":"361","article-title":"Minimization of quantum multiple-valued decision diagrams using data structure metrics","volume":"15","author":"feinstein","year":"2009","journal-title":"J Multi-Valued Logic and Soft Computing"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511813870"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2011.22"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/43\/7360959\/07163590.pdf?arnumber=7163590","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,12]],"date-time":"2023-08-12T11:12:34Z","timestamp":1691838754000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7163590\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1]]},"references-count":22,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2015.2459034","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,1]]}}}