- Document type:
- Konferenzbeitrag
- Author(s):
- Berent, L.; Burgholzer, L.; Wille, R.
- Title:
- Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond
- Book / Congress title:
- International Conference on Theory and Applications of Satisfiability Testing (SAT)
- Year:
- 2022
BibTeX