Automated reasoning in quantum circuit compilation
- Author(s):
- Dimitrios Thanoas, D.T.; Volloria Gonzalez, A.D.; Brand, S.O. (0000-0002-7666-2794); Quist, A. (0000-0002-6501-2112); Mei, J.; Coopmans, T.J. (0000-0002-9780-0949); Laarman, A.W. (0000-0002-2433-4174)
- Editor(s):
- Neele, T.; Wijs, A.
- Published
- 2024
- Publication type
- Article in monograph or in proceedings
- Date issued
- 2024-10-13
- Language
- English
- Publisher
- Cham: Springer
- Is part of
- Lecture Notes in Computer Science (2024), Pt. 14624, p. 106-134
- ISBN source
- 9783031661488
- hdl
- 1887/4297118
- doi
- 10.1007/978-3-031-66149-5_6
- URL
- https://link.springer.com/chapter/10.1007/978-3-031-66149-5_6
