References

MQT ProblemSolver has a strong foundation in peer‑reviewed research. Many of its built‑in algorithms are based on methods published in scientific journals and conferences. For an overview of MQT ProblemSolver and its features, see [1]. If you want to cite this article, please use the following BibTeX entry:

@inproceedings{quetschlich2023mqtproblemsolver,
  title        = {{Towards an Automated Framework for Realizing Quantum Computing Solutions}},
  author       = {Quetschlich, Nils and Burgholzer, Lukas and Wille, Robert},
  year         = 2023,
  booktitle    = {International Symposium on Multiple-Valued Logic (ISMVL)},
  eprint       = {2210.14928},
  eprinttype   = {arXiv}
}

MQT ProblemSolver is part of the Munich Quantum Toolkit, which is described in [9]. If you want to cite the Munich Quantum Toolkit, please use the following BibTeX entry:

@inproceedings{mqt,
  title        = {The {{MQT}} Handbook: {{A}} Summary of Design Automation Tools and Software for Quantum Computing},
  shorttitle   = {{The MQT Handbook}},
  author       = {Wille, Robert and Berent, Lucas and Forster, Tobias and Kunasaikaran, Jagatheesan and Mato, Kevin and Peham, Tom and Quetschlich, Nils and Rovara, Damian and Sander, Aaron and Schmid, Ludwig and Schoenberger, Daniel and Stade, Yannick and Burgholzer, Lukas},
  year         = 2024,
  booktitle    = {IEEE International Conference on Quantum Software (QSW)},
  doi          = {10.1109/QSW62656.2024.00013},
  eprint       = {2405.17543},
  eprinttype   = {arxiv},
  addendum     = {A live version of this document is available at \url{https://mqt.readthedocs.io}}
}

A full list of references is given below.

[1]

N. Quetschlich, L. Burgholzer, and R. Wille. Towards an automated framework for realizing quantum computing solutions. In International Symposium on Multiple-Valued Logic (ISMVL). 2023. arXiv:2210.14928.

[2]

N. Quetschlich, V. Koch, L. Burgholzer, and R. Wille. A hybrid classical quantum computing approach to the satellite mission planning problem. In IEEE International Conference on Quantum Computing and Engineering (QCE). 2023. arXiv:2308.00029.

[3]

N. Quetschlich, L. Burgholzer, and R. Wille. Reducing the compilation time of quantum circuits using pre-compilation on the gate level. In IEEE International Conference on Quantum Computing and Engineering (QCE). 2023. arXiv:2305.04941.

[4]

Damian Rovara, Nils Quetschlich, and Robert Wille. A framework to formulate pathfinding problems for quantum computing. 2024. arXiv:2404.10820.

[5]

N. Quetschlich, M. Soeken, P. Murali, and R. Wille. Utilizing resource estimation for the development of quantum computing applications. In IEEE International Conference on Quantum Computing and Engineering (QCE). 2024. arXiv:2402.12434.

[6]

N. Quetschlich, T. Forster, A. Osterwind, D. Helms, and R. Wille. Towards equivalence checking of classical circuits using quantum computing. In IEEE International Conference on Quantum Computing and Engineering (QCE). 2024. arXiv:2408.14539.

[7]

T. Forster, N. Quetschlich, M. Soeken, and R. Wille. Improving hardware requirements for fault-tolerant quantum computing by optimizing error budget distributions. In IEEE International Conference on Quantum Computing and Engineering (QCE). 2025. arXiv:2509.02683.

[8]

T. Forster, N. Quetschlich, and R. Wille. Quantum circuit optimization for the fault-tolerance era: do we have to start from scratch? In IEEE International Conference on Quantum Computing and Engineering (QCE). 2025. arXiv:2509.02668.

[9]

Robert Wille, Lucas Berent, Tobias Forster, Jagatheesan Kunasaikaran, Kevin Mato, Tom Peham, Nils Quetschlich, Damian Rovara, Aaron Sander, Ludwig Schmid, Daniel Schoenberger, Yannick Stade, and Lukas Burgholzer. The MQT handbook: A summary of design automation tools and software for quantum computing. In IEEE International Conference on Quantum Software (QSW). 2024. arXiv:2405.17543, doi:10.1109/QSW62656.2024.00013.