- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Peham, T.; Burgholzer, L.; Wille, R.
- Titel:
- Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms
- Kongress- / Buchtitel:
- Asia and South Pacific Design Automation Conference (ASP-DAC)
- Jahr:
- 2023
BibTeX