- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Berent, L.; Burgholzer, L.; Wille, R.
- Titel:
- Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond
- Kongress- / Buchtitel:
- International Conference on Theory and Applications of Satisfiability Testing (SAT)
- Jahr:
- 2022
BibTeX