{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T11:26:07Z","timestamp":1761823567599},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642389856"},{"type":"electronic","value":"9783642389863"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38986-3_11","type":"book-chapter","created":{"date-parts":[[2013,6,29]],"date-time":"2013-06-29T00:54:03Z","timestamp":1372467243000},"page":"125-140","source":"Crossref","is-referenced-by-count":14,"title":["On the \u201cQ\u201d in QMDDs: Efficient Representation of Quantum Functionality in the QMDD Data-Structure"],"prefix":"10.1007","author":[{"given":"Philipp","family":"Niemann","sequence":"first","affiliation":[]},{"given":"Robert","family":"Wille","sequence":"additional","affiliation":[]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Nielsen, M., Chuang, I.: Quantum Computation and Quantum Information. Cambridge Univ. Press (2000)"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Grover, L.K.: A fast quantum mechanical algorithm for database search. In: Theory of Computing, pp. 212\u2013219 (1996)","DOI":"10.1145\/237814.237866"},{"key":"11_CR3","unstructured":"Shor, P.W.: Algorithms for quantum computation: discrete logarithms and factoring. Foundations of Computer Science, 124\u2013134 (1994)"},{"issue":"6","key":"11_CR4","doi-asserted-by":"publisher","first-page":"1310","DOI":"10.1137\/050644719","volume":"35","author":"C. D\u00fcrr","year":"2006","unstructured":"D\u00fcrr, C., Heiligman, M., H\u00f8yer, P., Mhalla, M.: Quantum query complexity of some graph problems. SIAM J. Comput.\u00a035(6), 1310\u20131328 (2006)","journal-title":"SIAM J. Comput."},{"issue":"2","key":"11_CR5","doi-asserted-by":"crossref","first-page":"584","DOI":"10.1093\/ietfec\/e91-a.2.584","volume":"91-A","author":"S.A. Wang","year":"2008","unstructured":"Wang, S.A., Lu, C.Y., Tsai, I.M., Kuo, S.Y.: An XQDD-based verification method for quantum circuits. IEICE Transactions\u00a091-A(2), 584\u2013594 (2008)","journal-title":"IEICE Transactions"},{"key":"11_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-90-481-3065-8","volume-title":"Quantum Circuit Simulation","author":"G.F. Viamontes","year":"2009","unstructured":"Viamontes, G.F., Markov, I.L., Hayes, J.P.: Quantum Circuit Simulation. Springer, Heidelberg (2009)"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Miller, D.M., Thornton, M.A.: QMDD: A decision diagram structure for reversible and quantum circuits. In: Int\u2019l Symp. on Multi-Valued Logic, p. 6 (2006)","DOI":"10.1109\/ISMVL.2006.35"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Wille, R., Gro\u00dfe, D., Miller, D.M., Drechsler, R.: Equivalence checking of reversible circuits. In: Int\u2019l Symp. on Multi-Valued Logic, pp. 324\u2013330 (2009)","DOI":"10.1109\/ISMVL.2009.19"},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-642-36315-3_15","volume-title":"Reversible Computation","author":"J. Seiter","year":"2013","unstructured":"Seiter, J., Soeken, M., Wille, R., Drechsler, R.: Property checking of quantum circuits using quantum multiple-valued decision diagrams. In: Gl\u00fcck, R., Yokoyama, T. (eds.) RC 2012. LNCS, vol.\u00a07581, pp. 183\u2013196. Springer, Heidelberg (2013)"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Soeken, M., Wille, R., Hilken, C., Przigoda, N., Drechsler, R.: Synthesis of Reversible Circuits with Minimal Lines for Large Functions. In: Asia and South Pacific Design Automation Conference (January 2012)","DOI":"10.1109\/ASPDAC.2012.6165069"},{"key":"11_CR11","doi-asserted-by":"publisher","first-page":"230502","DOI":"10.1103\/PhysRevLett.94.230502","volume":"94","author":"S.S. Bullock","year":"2005","unstructured":"Bullock, S.S., O\u2019Leary, D.P., Brennen, G.K.: Asymptotically optimal quantum circuits for d-level systems. Phys. Rev. Lett.\u00a094, 230502 (2005)","journal-title":"Phys. Rev. Lett."},{"key":"11_CR12","unstructured":"Miller, D.M., Feinstein, D.Y., Thornton, M.A.: Qmdd minimization using sifting for variable reordering. Journal of Multiple-valued Logic and Soft Computing, 537\u2013552 (2007)"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Miller, D.M., Thornton, M.A.: Multiple-Valued Logic: Concepts and Representations. Morgan and Claypool (2008)","DOI":"10.1007\/978-3-031-79779-8"},{"issue":"8","key":"11_CR14","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"R.E. Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Trans. on Comp.\u00a035(8), 677\u2013691 (1986)","journal-title":"IEEE Trans. on Comp."},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Mermin, N.D.: Quantum computer science: an introduction, vol.\u00a01. Cambridge University Press (2007)","DOI":"10.1017\/CBO9780511813870"}],"container-title":["Lecture Notes in Computer Science","Reversible Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38986-3_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,2]],"date-time":"2023-07-02T19:02:45Z","timestamp":1688324565000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38986-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642389856","9783642389863"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38986-3_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}