{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T10:24:02Z","timestamp":1778495042331,"version":"3.51.4"},"publisher-location":"Cham","reference-count":38,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030798369","type":"print"},{"value":"9783030798376","type":"electronic"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-79837-6_14","type":"book-chapter","created":{"date-parts":[[2021,6,22]],"date-time":"2021-06-22T11:03:03Z","timestamp":1624359783000},"page":"227-241","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Efficient Construction of Functional Representations for Quantum Algorithms"],"prefix":"10.1007","author":[{"given":"Lukas","family":"Burgholzer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rudy","family":"Raymond","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Indranil","family":"Sengupta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Wille","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,6,23]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Niemann, P., Wille, R., Drechsler, R.: Improved synthesis of Clifford$$+$$T quantum functionality. In: Design, Automation and Test in Europe, pp. 597\u2013600 (2018)","DOI":"10.23919\/DATE.2018.8342078"},{"issue":"7","key":"14_CR2","doi-asserted-by":"publisher","first-page":"1226","DOI":"10.1109\/TCAD.2018.2846658","volume":"38","author":"A Zulehner","year":"2019","unstructured":"Zulehner, A., Paler, A., Wille, R.: An efficient methodology for mapping quantum circuits to the IBM QX architectures. IEEE Trans. CAD Integrated Circuits Syst. 38(7), 1226\u20131236 (2019)","journal-title":"IEEE Trans. CAD Integrated Circuits Syst."},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Zulehner, A., Wille, R.: Compiling SU(4) quantum circuits to IBM QX architectures. In: Asia and South Pacific Design Automation Conference, Tokyo, Japan, pp. 185\u2013190 (2019)","DOI":"10.1145\/3287624.3287704"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Itoko, T., Raymond, R., Imamichi, T., Matsuo, A., Cross, A.W.: Quantum circuit compilers using gate commutation rules. In: Asia and South Pacific Design Automation Conference, pp. 191\u2013196 (2019)","DOI":"10.1145\/3287624.3287701"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Smith, K.N., Thornton, M.A.: Quantum logic synthesis with formal verification. In: IEEE International Midwest Symposium Circuits System, pp. 73\u201376 (2019)","DOI":"10.1109\/MWSCAS.2019.8885132"},{"issue":"5","key":"14_CR6","doi-asserted-by":"publisher","first-page":"848","DOI":"10.1109\/TCAD.2018.2834427","volume":"38","author":"A Zulehner","year":"2019","unstructured":"Zulehner, A., Wille, R.: Advanced simulation of quantum computations. IEEE Trans. CAD Integrated Circuits Syst. 38(5), 848\u2013859 (2019)","journal-title":"IEEE Trans. CAD Integrated Circuits Syst."},{"key":"14_CR7","unstructured":"Pednault, E., Gunnels, J.A., Nannicini, G., Horesh, L., Wisnieff, R.: Leveraging secondary storage to simulate deep 54-qubit Sycamore circuits. arXiv:1910.09534 (2019)"},{"issue":"1","key":"14_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1038\/s41534-019-0196-1","volume":"5","author":"B Villalonga","year":"2019","unstructured":"Villalonga, B., et al.: A flexible high-performance simulator for verifying and benchmarking quantum circuits implemented on real hardware. Npj Quantum Inf. 5(1), 1\u201316 (2019)","journal-title":"Npj Quantum Inf."},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Viamontes, G.F., Markov, I.L., Hayes, J.P.: Checking equivalence of quantum circuits and states. In: International Conference on CAD (2007)","DOI":"10.1109\/ICCAD.2007.4397246"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Yamashita, S., Markov, I.L.: Fast equivalence-checking for quantum circuits. In: International Symposium on Nanoscale Architectures (2010)","DOI":"10.1109\/NANOARCH.2010.5510932"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Burgholzer, L., Raymond, R., Wille, R.: Verifying results of the IBM Qiskit quantum circuit compilation flow. arXiv: 2009.02376 [quant-ph] (2020)","DOI":"10.1109\/QCE49297.2020.00051"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Burgholzer, L., Wille, R.: Advanced equivalence checking for quantum circuits. IEEE Trans. CAD Integrated Circuits Syst. PP(99), 1 (2021)","DOI":"10.1109\/TCAD.2020.3032630"},{"key":"14_CR13","unstructured":"Aleksandrowicz, G., et al.: Qiskit: an open-source framework for quantum computing, Zenodo (2019)"},{"key":"14_CR14","unstructured":"Cirq: A python framework for creating, editing, and invoking Noisy Intermediate Scale Quantum (NISQ) circuits. https:\/\/github.com\/quantumlib\/Cirq"},{"key":"14_CR15","unstructured":"Quantum Development Kit, Microsoft. https:\/\/microsoft.com\/en-us\/quantum\/development-kit"},{"issue":"2","key":"14_CR16","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1016\/j.cpc.2009.09.021","volume":"181","author":"E Guti\u00e9rrez","year":"2010","unstructured":"Guti\u00e9rrez, E., Romero, S., Trenas, M.A., Zapata, E.L.: Quantum computer simulation using the CUDA programming model. Comput. Phys. Commun. 181(2), 283\u2013300 (2010)","journal-title":"Comput. Phys. Commun."},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"Guerreschi, G.G., Hogaboam, J., Baruffa, F., Sawaya, N.P.D.: Intel Quantum Simulator: A cloud-ready high-performance simulator of quantum circuits. Quantum Sci. Technol. 5, 034 007 (2020)","DOI":"10.1088\/2058-9565\/ab8505"},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"Jones, T., Brown, A., Bush, I., Benjamin, S.C.: QuEST and high performance simulation of quantum computers. In Scientific Reports (2018)","DOI":"10.1038\/s41598-019-47174-9"},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"Gheorghiu, V.: $$\\text{Quantum}++$$: a modern $$\\text{ C }++$$ quantum computing library. PLOS ONE 13(12) (2018)","DOI":"10.1371\/journal.pone.0208073"},{"issue":"3","key":"14_CR20","doi-asserted-by":"publisher","first-page":"963","DOI":"10.1137\/050644756","volume":"38","author":"IL Markov","year":"2008","unstructured":"Markov, I.L., Shi, Y.: Simulating quantum computation by contracting tensor networks. SIAM J. Comput. 38(3), 963\u2013981 (2008)","journal-title":"SIAM J. Comput."},{"issue":"7","key":"14_CR21","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/s11128-017-1587-x","volume":"16","author":"DS Wang","year":"2017","unstructured":"Wang, D.S., Hill, C.D., Hollenberg, L.C.L.: Simulations of Shor\u2019s algorithm using matrix product states. Quantum Inf. Process. 16(7), 176 (2017)","journal-title":"Quantum Inf. Process."},{"key":"14_CR22","unstructured":"Biamonte, J.D., Bergholm, V.: Tensor networks in a nutshell (2017). arXiv: 1708.00006"},{"key":"14_CR23","first-page":"229","volume":"318","author":"A Kissinger","year":"2019","unstructured":"Kissinger, A., van de Wetering, J.: PyZX: large scale automated diagrammatic reasoning. Presented Quantum Phys. Logic 318, 229\u2013241 (2019)","journal-title":"Presented Quantum Phys. Logic"},{"issue":"1","key":"14_CR24","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1109\/TCAD.2015.2459034","volume":"35","author":"P Niemann","year":"2016","unstructured":"Niemann, P., Wille, R., Miller, D.M., Thornton, M.A., Drechsler, R.: QMDDs: efficient quantum function representation and manipulation. IEEE Trans. CAD Integrated Circuits Syst. 35(1), 86\u201399 (2016)","journal-title":"IEEE Trans. CAD Integrated Circuits Syst."},{"key":"14_CR25","doi-asserted-by":"crossref","unstructured":"Wang, S.-A., Lu, C.-Y., Tsai, I.-M., Kuo, S.-Y.: An XQDD-based verification method for quantum circuits. In: IEICE Trans. Fundamentals, pp. 584\u2013594 (2008)","DOI":"10.1093\/ietfec\/e91-a.2.584"},{"key":"14_CR26","doi-asserted-by":"crossref","unstructured":"Zulehner, A., Hillmich, S., Wille, R.: How to efficiently handle complex values? implementing decision diagrams for quantum computing. In: International Conference on CAD (2019)","DOI":"10.1109\/ICCAD45719.2019.8942057"},{"key":"14_CR27","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511976667","volume-title":"Quantum Computation and Quantum Information","author":"MA Nielsen","year":"2010","unstructured":"Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2010)"},{"issue":"5","key":"14_CR28","doi-asserted-by":"publisher","first-page":"1484","DOI":"10.1137\/S0097539795293172","volume":"26","author":"PW Shor","year":"1997","unstructured":"Shor, P.W.: Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM J. Comput. 26(5), 1484\u20131509 (1997)","journal-title":"SIAM J. Comput."},{"key":"14_CR29","doi-asserted-by":"crossref","unstructured":"Brassard, G., H\u00f8yer, P., Mosca, M., Tapp, A.: Quantum amplitude amplification and estimation. In: Quantum computation and information, ser. Contemp. Math. vol. 305 (2002)","DOI":"10.1090\/conm\/305\/05215"},{"key":"14_CR30","doi-asserted-by":"crossref","unstructured":"Montanaro, A.: Quantum speedup of Monte Carlo methods. Proc. Royal Soc. A, 471 (2015)","DOI":"10.1098\/rspa.2015.0301"},{"key":"14_CR31","doi-asserted-by":"crossref","unstructured":"Rebentrost, P., Gupt, B., Bromley, T.R.: Quantum computational finance: Monte Carlo pricing of financial derivatives. Phys. Rev. A 98, (2018)","DOI":"10.1103\/PhysRevA.98.022321"},{"key":"14_CR32","doi-asserted-by":"publisher","first-page":"49","DOI":"10.22331\/q-2018-01-31-49","volume":"2","author":"DS Steiger","year":"2018","unstructured":"Steiger, D.S., H\u00e4ner, T., Troyer, M.: ProjectQ: an open source software framework for quantum computing. Quantum 2, 49 (2018)","journal-title":"Quantum"},{"key":"14_CR33","doi-asserted-by":"crossref","unstructured":"Zulehner, A., Wille, R.: Matrix-Vector vs. matrix-matrix multiplication: potential in DD-based simulation of quantum computations. In: Design, Automation and Test in Europe (2019)","DOI":"10.23919\/DATE.2019.8714836"},{"issue":"02","key":"14_CR34","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1142\/S0129626497000176","volume":"07","author":"L Chi-Chung","year":"1997","unstructured":"Chi-Chung, L., Sadayappan, P., Wenger, R.: On optimizing a class of multidimensional loops with reduction for parallel execution. Parallel Process. Lett. 07(02), 157\u2013168 (1997)","journal-title":"Parallel Process. Lett."},{"key":"14_CR35","doi-asserted-by":"crossref","unstructured":"Grover, L.K.: A fast quantum mechanical algorithm for database search. In: Proceedings of the ACM, pp. 212\u2013219 (1996)","DOI":"10.1145\/237814.237866"},{"key":"14_CR36","doi-asserted-by":"crossref","unstructured":"Douglas, B.L., Wang, J.B.: Efficient quantum circuit implementation of quantum walks. Phys. Rev. A 79(5), 052 335 (2009)","DOI":"10.1103\/PhysRevA.79.052335"},{"issue":"3","key":"14_CR37","first-page":"22","volume":"3","author":"AY Kitaev","year":"1996","unstructured":"Kitaev, A.Y.: Quantum measurements and the abelian stabilizer problem. Electron. Colloq. Comput. Complex. 3(3), 22 (1996)","journal-title":"Electron. Colloq. Comput. Complex."},{"key":"14_CR38","doi-asserted-by":"crossref","unstructured":"Wille, R., Hillmich, S., Burgholzer, L.: JKQ: JKU tools for quantum computing. In: International Conference on CAD (2020)","DOI":"10.1145\/3400302.3415746"}],"container-title":["Lecture Notes in Computer Science","Reversible Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-79837-6_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,29]],"date-time":"2021-06-29T23:08:53Z","timestamp":1625008133000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-79837-6_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030798369","9783030798376"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-79837-6_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"23 June 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Reversible Computation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 July 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 July 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rc2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/reversible-computation-2021.github.io\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"21","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"11","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"52% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}