- Document type:
- Konferenzbeitrag
- Author(s):
- Peham, T.; Burgholzer, L.; Wille, R.
- Title:
- Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms
- Book / Congress title:
- Asia and South Pacific Design Automation Conference (ASP-DAC)
- Year:
- 2023
BibTeX