# 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](#id4)]. If you want to cite this article, please use the
following BibTeX entry:

```bibtex
@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](#id5)]. If you want to cite the Munich Quantum Toolkit, please use the
following BibTeX entry:

```bibtex
@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.