References

MQT QuSAT 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 QuSAT and its features, see [1]. If you want to cite this article, please use the following BibTeX entry:

@inproceedings{berent2022sat,
  title        = {Towards a {{SAT}} Encoding for Quantum Circuits: {{A}} Journey From Classical Circuits to {{Clifford}} Circuits and Beyond},
  author       = {Berent, Lucas and Burgholzer, Lukas and Wille, Robert},
  year         = {2022},
  booktitle    = {International Conference on Theory and Applications of Satisfiability Testing},
  doi          = {10.4230/LIPIcs.SAT.2022.18}
}

MQT QuSAT is part of the Munich Quantum Toolkit, which is described in [2]. 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]

Lucas Berent, Lukas Burgholzer, and Robert 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. doi:10.4230/LIPIcs.SAT.2022.18.

[2]

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.