References

[1]

P. W. Shor. Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM Journal on Computing, 1997. doi:10.1137/S0097539795293172.

[2]

D. Egger, C. Gambella, J. Marecek, S. McFaddin, M. Mevissen, R. Raymond, A. Simonetto, S. Woerner, and E. Yndurain. Quantum Computing for Finance: State-of-the-Art and Future Prospects. IEEE Transactions on Quantum Engineering, 2020. doi:10.1109/TQE.2020.3030314.

[3]

S. McArdle, S. Endo, A. Aspuru-Guzik, S. C. Benjamin, and X. Yuan. Quantum computational chemistry. Reviews of Modern Physics, 92(1):015003, 2020. doi:10.1103/RevModPhys.92.015003.

[4]

H.-Y. Huang, R. Kueng, G. Torlai, V. V. Albert, and J. Preskill. Provably efficient machine learning for quantum many-body problems. Science, 377(6613):eabk3333, 2022. doi:10.1126/science.abk3333.

[5]

S. Harwood, C. Gambella, D. Trenev, A. Simonetto, D. Bernal Neira, and D. Greenberg. Formulating and solving routing problems on quantum computers. IEEE Transactions on Quantum Engineering, 2:1–17, 2021. doi:10.1109/TQE.2021.3049230.

[6]

L. Burgholzer. Design Automation Tools and Software for Quantum Computing. PhD thesis, Johannes Kepler University Linz, September 2023.

[7]

N. Quetschlich, L. Burgholzer, and R. Wille. Towards an Automated Framework for Realizing Quantum Computing Solutions. In Int'l Symp. on Multi-Valued Logic. 2023. arXiv:2210.14928, doi:10.1109/ISMVL57333.2023.00035.

[8]

N. Quetschlich, V. Koch, L. Burgholzer, and R. Wille. A hybrid classical quantum computing approach to the satellite mission planning problem. In Int'l Conf. on Quantum Computing and Engineering, volume 01, 642–647. 2023. doi:10.1109/QCE57702.2023.00079.

[9]

N. Quetschlich, L. Burgholzer, and R. Wille. Predicting Good Quantum Circuit Compilation Options. In Int'l Conf. on Quantum Software. 2023. arXiv:2210.08027, doi:10.1109/QSW59989.2023.00015.

[10]

B. Poggel, N. Quetschlich, L. Burgholzer, R. Wille, and J. M. Lorenz. Recommending Solution Paths for Solving Optimization Problems with Quantum Computing. In Int'l Conf. on Quantum Software. 2023. arXiv:2212.11127, doi:10.1109/QSW59989.2023.00017.

[11]

N. Quetschlich, M. Soeken, P. Murali, and R. Wille. Utilizing resource estimation for the development of quantum computing applications. In Int'l Conf. on Quantum Computing and Engineering. 2024. arXiv:2402.12434.

[12]

N. Quetschlich, F. J. Kiwit, M. A. Wolf, C. A. Riofrio, L. Burgholzer, A. Luckow, and R. Wille. Towards application-aware quantum circuit compilation. In Int'l Conf. on Quantum Software. 2024. arXiv:2404.12433, doi:10.1109/QSW62656.2024.00028.

[13]

N. Quetschlich, L. Burgholzer, and R. Wille. MQT Predictor: Automatic Device Selection with Device-Specific Circuit Compilation for Quantum Computing. ACM Transactions on Quantum Computing, June 2024. doi:10.1145/3673241.

[14]

D. Volpe, N. Quetschlich, M. Graziano, G. Turvani, and R. Wille. Towards an Automatic Framework for Solving Optimization Problems with Quantum Computers. In Int'l Conf. on Quantum Software, 46–57. Shenzhen, China, July 2024. doi:10.1109/QSW62656.2024.00019.

[15]

N. Quetschlich, T. Forster, A. Osterwind, D. Helms, and R. Wille. Towards Equivalence Checking of Classical Circuits Using Quantum Computing. In Int'l Conf. on Quantum Computing and Engineering. August 2024. arXiv:2408.14539.

[16]

D. Rovara, N. Quetschlich, and R. Wille. A Framework to Formulate Pathfinding Problems for Quantum Computing. April 2024. arXiv:2404.10820.

[17]

A. Zulehner and R. Wille. Advanced simulation of quantum computations. IEEE Trans. on CAD of Integrated Circuits and Systems, 2019. doi:10.1109/TCAD.2018.2834427.

[18]

A. Zulehner and R. Wille. 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.

[19]

S. Hillmich, I. L. Markov, and R. Wille. Just like the real thing: Fast weak simulation of quantum computation. In Design Automation Conf. 2020. doi:10.1109/DAC18072.2020.9218555.

[20]

S. Hillmich, R. Kueng, I. L. Markov, and R. Wille. As accurate as needed, as efficient as possible: Approximations in DD-based quantum circuit simulation. In Design, Automation and Test in Europe. 2020. doi:10.23919/DATE51398.2021.9474034.

[21]

S. Hillmich, A. Zulehner, R. Kueng, I. L. Markov, and R. Wille. Approximating decision diagrams for quantum circuit simulation. ACM Transactions on Quantum Computing, 3(4):1–21, 2022. doi:10.1145/3530776.

[22]

S. Hillmich, L. Burgholzer, F. Stögmüller, and R. Wille. Reordering Decision Diagrams for Quantum Computing Is Harder Than You Might Think. In Int'l Conf. of Reversible Computation. July 2022. doi:10.1007/978-3-031-09005-9_7.

[23]

T. Grurl, J. Fuß, S. Hillmich, L. Burgholzer, and R. Wille. Arrays vs. Decision Diagrams: A case study on quantum circuit simulators. In Int'l Symp. on Multi-Valued Logic. November 2020. doi:10.1109/ISMVL49045.2020.000-9.

[24]

T. Grurl, J. Fuß, and R. Wille. Considering decoherence errors in the simulation of quantum circuits using decision diagrams. In Int'l Conf. on CAD. 2020. doi:10.1145/3400302.3415622.

[25]

T. Grurl, R. Kueng, J. Fuß, and R. Wille. Stochastic quantum circuit simulation using decision diagrams. In Design, Automation and Test in Europe. 2021. doi:10.23919/DATE51398.2021.9474135.

[26]

T. Grurl, J. Fuß, and R. Wille. Noise-aware quantum circuit simulation with decision diagrams. IEEE Trans. on CAD of Integrated Circuits and Systems, 42(3):860–873, 2023. doi:10.1109/TCAD.2022.3182628.

[27]

L. Burgholzer, H. Bauer, and R. Wille. Hybrid Schrödinger-Feynman simulation of quantum circuits with decision diagrams. In Int'l Conf. on Quantum Computing and Engineering. 2021. doi:10.1109/QCE52317.2021.00037.

[28]

A. Sander, L. Burgholzer, and R. Wille. Towards hamiltonian simulation with decision diagrams. In Int'l Conf. on Quantum Computing and Engineering. 2023. arXiv:2305.02337, doi:10.1109/QCE57702.2023.00039.

[29]

K. Mato, S. Hillmich, and R. Wille. Mixed-dimensional quantum circuit simulation with decision diagrams. In Int'l Conf. on Quantum Computing and Engineering. 2023. arXiv:2308.12332, doi:10.1109/QCE57702.2023.00112.

[30]

S. Hillmich, A. Zulehner, and R. Wille. Concurrency in DD-based quantum circuit simulation. In Asia and South Pacific Design Automation Conf. 2020. doi:10.1109/ASP-DAC47756.2020.9045711.

[31]

L. Burgholzer, A. Ploier, and R. Wille. Exploiting arbitrary paths for the simulation of quantum circuits with decision diagrams. In Design, Automation and Test in Europe. 2022. doi:10.23919/DATE54114.2022.9774631.

[32]

L. Burgholzer, A. Ploier, and R. Wille. Simulation paths for quantum circuit simulation with decision diagrams: What to learn from tensor networks, and what not. IEEE Trans. on CAD of Integrated Circuits and Systems, 2022. arXiv:2203.00703, doi:10.1109/TCAD.2022.3197969.

[33]

L. Burgholzer, R. Raymond, I. Sengupta, and R. Wille. Efficient construction of functional representations for quantum algorithms. In Int'l Conf. of Reversible Computation. 2021. doi:10.1007/978-3-030-79837-6_14.

[34]

S. Jiang, R. Fu, L. Burgholzer, R. Wille, T.-Y. Ho, and T.-W. Huang. FlatDD: A High-Performance Quantum Circuit Simulator using Decision Diagram and Flat Array. In Int'l Conf. on Parallel Processing, 388–399. Gotland Sweden, August 2024. doi:10.1145/3673038.3673073.

[35]

A. Sander, I.-A. Florea, L. Burgholzer, and R. Wille. Stripping Quantum Decision Diagrams of their Identity. In Int'l Conf. on Quantum Software, 168–174. July 2024. doi:10.1109/QSW62656.2024.00032.

[36]

A. Zulehner, A. Paler, and R. Wille. An efficient methodology for mapping quantum circuits to the IBM QX architectures. IEEE Trans. on CAD of Integrated Circuits and Systems, 2019. doi:10.1109/TCAD.2018.2846658.

[37]

S. Hillmich, A. Zulehner, and R. Wille. Exploiting Quantum Teleportation in Quantum Circuit Mapping. In Asia and South Pacific Design Automation Conf., 792–797. 2021. doi:10.1145/3394885.3431604.

[38]

A. Zulehner and R. Wille. Compiling SU(4) quantum circuits to IBM QX architectures. In Asia and South Pacific Design Automation Conf., 185–190. 2019. doi:10.1145/3287624.3287704.

[39]

R. Wille, L. Burgholzer, and A. Zulehner. Mapping quantum circuits to IBM QX architectures using the minimal number of SWAP and H operations. In Design Automation Conf. 2019. doi:10.1145/3316781.3317859.

[40]

R. Wille, S. Hillmich, and L. Burgholzer. Efficient and correct compilation of quantum circuits. In IEEE International Symposium on Circuits and Systems. 2020. doi:10.1109/ISCAS45731.2020.9180791.

[41]

L. Burgholzer, S. Schneider, and R. Wille. Limiting the search space in optimal quantum circuit mapping. In Asia and South Pacific Design Automation Conf. 2022. doi:10.1109/ASP-DAC52403.2022.9712555.

[42]

S. Adarsh, L. Burgholzer, T. Manjunath, and R. Wille. SyReC Synthesizer: An MQT tool for synthesis of reversible circuits. Software Impacts, 2022. doi:10.1016/j.simpa.2022.10045.

[43]

T. Peham, N. Brandl, R. Kueng, R. Wille, and L. Burgholzer. Depth-optimal synthesis of Clifford circuits with SAT solvers. In Int'l Conf. on Quantum Computing and Engineering. 2023. arXiv:2305.01674, doi:10.1109/QCE57702.2023.00095.

[44]

S. Schneider, L. Burgholzer, and R. Wille. A SAT encoding for optimal Clifford circuit synthesis. In Asia and South Pacific Design Automation Conf. 2023. doi:10.1145/3566097.3567929.

[45]

T. Peham, L. Burgholzer, and R. Wille. On Optimal Subarchitectures for Quantum Circuit Mapping. ACM Transactions on Quantum Computing, 2023. arXiv:2210.09321, doi:10.1145/3593594.

[46]

N. Quetschlich, L. Burgholzer, and R. Wille. Compiler Optimization for Quantum Computing Using Reinforcement Learning. In Design Automation Conf. 2023. arXiv:2212.04508, doi:10.1109/DAC56929.2023.10248002.

[47]

N. Quetschlich, L. Burgholzer, and R. Wille. Reducing the compilation time of quantum circuits using pre-compilation on the gate level. In Int'l Conf. on Quantum Computing and Engineering. 2023. arXiv:2305.04941, doi:10.1109/QCE57702.2023.00091.

[48]

D. Schoenberger, S. Hillmich, M. Brandl, and R. Wille. Using Boolean Satisfiability for Exact Shuttling in Trapped-Ion Quantum Computers. In Asia and South Pacific Design Automation Conf. 2024. doi:10.1109/ASP-DAC58780.2024.10473902.

[49]

D. Schoenberger, S. Hillmich, M. Brandl, and R. Wille. Towards Cycle-based Shuttling for Trapped-Ion Quantum Computers. In Design, Automation and Test in Europe. 2024.

[50]

D. Schoenberger, S. Hillmich, M. Brandl, and R. Wille. Shuttling for Scalable Trapped-Ion Quantum Computers. IEEE Trans. on CAD of Integrated Circuits and Systems, 2024. arXiv:2402.14065, doi:10.1109/TCAD.2024.3513262.

[51]

L. Schmid, S. Park, and R. Wille. Hybrid Circuit Mapping: Leveraging the Full Spectrum of Computational Capabilities of Neutral Atom Quantum Computers. In Design Automation Conf. 2024.

[52]

L. Schmid, D. Locher, M. Rispler, S. Blatt, J. Zeiher, M. Müller, and R. Wille. Computational Capabilities and Compiler Development for Neutral Atom Quantum Processors - Connecting Tool Developers and Hardware Experts. Quantum Science and Technology, 2024. doi:10.1088/2058-9565/ad33ac.

[53]

K. Mato, M. Ringbauer, S. Hillmich, and R. Wille. Adaptive compilation of multi-level quantum operations. In Int'l Conf. on Quantum Computing and Engineering, 484–491. 2022. doi:10.1109/QCE53715.2022.00070.

[54]

K. Mato, M. Ringbauer, S. Hillmich, and R. Wille. Compilation of entangling gates for high-dimensional quantum systems. In Asia and South Pacific Design Automation Conf., 202–208. 2023. doi:10.1145/3566097.3567930.

[55]

K. Mato, S. Hillmich, and R. Wille. Compression of qubit circuits: Mapping to mixed-dimensional quantum systems. In Int'l Conf. on Quantum Software, 155–161. 2023. doi:10.1109/QSW59989.2023.00027.

[56]

K. Mato, S. Hillmich, and R. Wille. Mixed-dimensional qudit state preparation using edge-weighted decision diagrams. In Design Automation Conf. 2024.

[57]

T. Grurl, C. Pichler, J. Fuß, and R. Wille. Automatic Implementation and Evaluation of Error-Correcting Codes for Quantum Computing: An Open-Source Framework for Quantum Error Correction. In VLSI Design, 301–306. 2023. doi:10.1109/VLSID57277.2023.00068.

[58]

R. Wille and L. Burgholzer. MQT QMAP: Efficient quantum circuit mapping. In Int'l Symp. on Physical Design. 2023. doi:10.1145/3569052.3578928.

[59]

Y. Stade, L. Schmid, L. Burgholzer, and R. Wille. An Abstract Model and Efficient Routing for Logical Entangling Gates on Zoned Neutral Atom Architectures. In Int'l Conf. on Quantum Computing and Engineering. July 2024. arXiv:2405.08068.

[60]

Y. Stade, L. Schmid, L. Burgholzer, and R. Wille. Optimal State Preparation for Logical Arrays on Zoned Neutral Atom Quantum Computers. In Design, Automation and Test in Europe. 2025. arXiv:2411.09738.

[61]

Y. Stade, L. Burgholzer, and R. Wille. Towards Supporting QIR: Thoughts on Adopting the Quantum Intermediate Representation. November 2024. arXiv:2411.18682.

[62]

K. Mato, M. Ringbauer, L. Burgholzer, and R. Wille. MQT Qudits: A Software Framework for Mixed-Dimensional Quantum Computing. October 2024. arXiv:2410.02854.

[63]

L. Burgholzer and R. Wille. Advanced equivalence checking for quantum circuits. IEEE Trans. on CAD of Integrated Circuits and Systems, 2021. doi:10.1109/TCAD.2020.3032630.

[64]

L. Burgholzer and R. Wille. Improved DD-based equivalence checking of quantum circuits. In Asia and South Pacific Design Automation Conf. 2020. doi:10.1109/ASP-DAC47756.2020.9045153.

[65]

L. Burgholzer and R. Wille. The power of simulation for equivalence checking in quantum computing. In Design Automation Conf. 2020. doi:10.1109/DAC18072.2020.9218563.

[66]

L. Burgholzer, R. Kueng, and R. Wille. Random stimuli generation for the verification of quantum circuits. In Asia and South Pacific Design Automation Conf. 2021. doi:10.1145/3394885.3431590.

[67]

L. Burgholzer, R. Raymond, and R. Wille. Verifying results of the IBM Qiskit quantum circuit compilation flow. In Int'l Conf. on Quantum Computing and Engineering. 2020. doi:10.1109/QCE49297.2020.00051.

[68]

L. Burgholzer and R. Wille. Handling non-unitaries in quantum circuit equivalence checking. In Design Automation Conf. July 2022. doi:10.1145/3489517.3530482.

[69]

T. Peham, L. Burgholzer, and R. Wille. Equivalence checking of parameterized quantum circuits: Verifying the compilation of variational quantum algorithms. In Asia and South Pacific Design Automation Conf. 2023. doi:10.1145/3566097.3567932.

[70]

T. Peham, L. Burgholzer, and R. Wille. Equivalence checking of quantum circuits with the ZX-Calculus. IEEE Journal on Emerging and Selected Topics in Circuits and Systems, 2022. doi:10.1109/JETCAS.2022.3202204.

[71]

T. Peham, L. Burgholzer, and R. Wille. Equivalence checking paradigms in quantum circuit design: A case study. In Design Automation Conf. 2022. doi:10.1145/3489517.3530480.

[72]

R. Wille and L. Burgholzer. Verification of Quantum Circuits. In A. Chattopadhyay, editor, Handbook of Computer Architecture, pages 1–28. Springer Nature Singapore, Singapore, 2022. doi:10.1007/978-981-15-6401-7_43-1.

[73]

L. Burgholzer and R. Wille. Exploiting reversible computing for verification: Potential, possible paths, and consequences. In Asia and South Pacific Design Automation Conf. 2023. doi:10.1145/3566097.3567914.

[74]

L. Burgholzer, R. Wille, and R. Kueng. Characteristics of reversible circuits for error detection. Array, April 2022. arXiv:2012.02037, doi:10.1016/j.array.2022.100165.

[75]

K. Staudacher, L. Schmid, J. Zeiher, R. Wille, and D. Kranzlmüller. Multi-controlled Phase Gate Synthesis with ZX-calculus applied to Neutral Atom Hardware. In Int'l Conf. on Quantum Physics and Logic, volume 406, 96–116. August 2024. doi:10.4204/EPTCS.406.5.

[76]

A. Sander, L. Burgholzer, and R. Wille. Equivalence Checking of Quantum Circuits via Intermediary Matrix Product Operator. October 2024. arXiv:2410.10946.

[77]

L. Berent, L. Burgholzer, P.-J. H.S. Derks, J. Eisert, and R. Wille. Decoding quantum color codes with MaxSAT. Quantum, 8:1506, October 2024. arXiv:2303.14237, doi:10.22331/q-2024-10-23-1506.

[78]

L. Berent, L. Burgholzer, and R. Wille. Software tools for decoding quantum low-density parity check codes. In Asia and South Pacific Design Automation Conf. 2023. doi:10.1145/3566097.3567934.

[79]

A. Strikis and L. Berent. Quantum low-density parity-check codes for modular architectures. PRX Quantum, 4(2):020321, 2023. doi:10.1103/PRXQuantum.4.020321.

[80]

L. Berent, T. Hillmann, J. Eisert, R. Wille, and J. Roffe. Analog Information Decoding of Bosonic Quantum Low-Density Parity-Check Codes. PRX Quantum, 5(2):020349, May 2024. arXiv:2311.01328, doi:10.1103/PRXQuantum.5.020349.

[81]

T. Peham, L. Schmid, L. Berent, M. Müller, and R. Wille. Automated Synthesis of Fault-Tolerant State Preparation Circuits for Quantum Error Correction Codes. September 2024. arXiv:2408.11894.

[82]

L. Schmid, T. Peham, L. Berent, M. Müller, and R. Wille. Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability. In Design, Automation and Test in Europe. 2025. arXiv:2408.11894.

[83]

J. Kunasaikaran, K. Mato, and R. Wille. A framework for the design and realization of alternative superconducting quantum architectures. In Int'l Symp. on Multi-Valued Logic. 2024.

[84]

R. Wille, S. Hillmich, and B. Lukas. Tools for quantum computing based on decision diagrams. ACM Transactions on Quantum Computing, 2022. doi:10.1145/3491246.

[85]

R. Wille, S. Hillmich, and L. Burgholzer. Decision Diagrams for Quantum Computing. In Design Automation of Quantum Computers. 2023. doi:10.1007/978-3-031-15699-1_1.

[86]

R. Wille, L. Burgholzer, and M. Artner. Visualizing decision diagrams for quantum computing. In Design, Automation and Test in Europe. 2021. doi:10.23919/DATE51398.2021.9474236.

[87]

J. van de Wetering. ZX-calculus for the working quantum computer scientist. 2020. arXiv:2012.13966.

[88]

R. Duncan, A. Kissinger, S. Perdrix, and J. van de Wetering. Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus. Quantum, 4:279, 2020. doi:10.22331/q-2020-06-04-279.

[89]

L. Berent, L. Burgholzer, and R. Wille. Towards a SAT encoding for quantum circuits: A journey from classical circuits to Clifford circuits and beyond. In International Conference on Theory and Applications of Satisfiability Testing. 2022. arXiv:2203.00698, doi:10.4230/LIPIcs.SAT.2022.18.

[90]

R. Wille, L. Burgholzer, S. Hillmich, T. Grurl, A. Ploier, and T. Peham. The basis of design tools for quantum computing. In Design Automation Conf. July 2022. doi:10.1145/3489517.3530627.

[91]

T. Häner and D. S. Steiger. 0.5 petabyte simulation of a 45-Qubit quantum circuit. In Int'l Conf. for High Performance Computing, Networking, Storage and Analysis. 2017. doi:10.1145/3126908.3126947.

[92]

J. Doi, H. Takahashi, R. Raymond, T. Imamichi, and H. Horii. Quantum computing simulator on a heterogenous HPC system. In Int'l Conf. on Computing Frontiers, 85–93. 2019. doi:10.1145/3310273.3323053.

[93]

T. Jones, A. Brown, I. Bush, and S. C. Benjamin. QuEST and high performance simulation of quantum computers. In Scientific Reports. 2018. doi:10.1038/s41598-019-47174-9.

[94]

G. G. Guerreschi, J. Hogaboam, F. Baruffa, and N. P. D. Sawaya. Intel Quantum Simulator: a cloud-ready high-performance simulator of quantum circuits. Quantum Science and Technology, 5(3):034007, 2020. doi:10.1088/2058-9565/ab8505.

[95]

X.-C. Wu, S. Di, E. M. Dasgupta, F. Cappello, H. Finkel, Y. Alexeev, and F. T. Chong. Full-state quantum circuit simulation by using data compression. In Int'l Conf. for High Performance Computing, Networking, Storage and Analysis. 2019. doi:10.1145/3295500.3356155.

[96]

I. L. Markov and \relax Yaoyun. Shi. Simulating quantum computation by contracting tensor networks. SIAM Journal on Computing, 38(3):963–981, 2008. doi:10.1137/050644756.

[97]

B. Villalonga, S. Boixo, B. Nelson, C. Henze, E. Rieffel, R. Biswas, and S. Mandrà. A flexible high-performance simulator for verifying and benchmarking quantum circuits implemented on real hardware. npj Quantum Information, 2019. doi:10.1038/s41534-019-0196-1.

[98]

J. Brennan, M. Allalen, D. Brayford, K. Hanley, L. Iapichino, L. J. O'Riordan, M. Doyle, and N. Moran. Tensor Network Circuit Simulation at Exascale. In International Workshop on Quantum Computing Software (QCS), 20–26. IEEE, November 2021. doi:10.1109/QCS54837.2021.00006.

[99]

T. Vincent, L. J. O'Riordan, M. Andrenkov, J. Brown, N. Killoran, H. Qi, and I. Dhand. Jet: Fast quantum circuit simulations with parallel task-based tensor-network contraction. Quantum, 6:709, 2022. doi:10.22331/q-2022-05-09-709.

[100]

G. F. Viamontes, I. L. Markov, and J. P. Hayes. Improving gate-level simulation of quantum circuits. Quantum Information Processing, 2(5):347–380, 2003. doi:10.1023/B:QINP.0000022725.70000.4a.

[101]

A. Botea, A. Kishimoto, and R. Marinescu. On the complexity of quantum circuit compilation. In Int'l Symp. on Combinatorial Search. 2018. doi:10.1609/socs.v9i1.18463.

[102]

R. Drechsler. Advanced Formal Verification. Springer, 2004. doi:10.5555/1024203.

[103]

D. Janzing, P. Wocjan, and T. Beth. “Non-identity check” is QMA-complete. International Journal of Quantum Information, 03(03):463–473, 2005. doi:10.1142/S0219749905001067.

[104]

L. Burgholzer and R. Wille. QCEC: A JKQ tool for quantum circuit equivalence checking. Software Impacts, February 2021. doi:10.1016/j.simpa.2020.100051.

[105]

N. Quetschlich, L. Burgholzer, and R. Wille. MQT Bench: Benchmarking Software and Design Automation Tools for Quantum Computing. Quantum, 7:1062, 2023. doi:10.22331/q-2023-07-20-1062.