Lukas Burgholzer, Richard Kueng, Robert Wille. Random Stimuli Generation for the Verification of Quantum Circuits. In ASPDAC '21: 26th Asia and South Pacific Design Automation Conference, Tokyo, Japan, January 18-21, 2021. pages 767-772, ACM, 2021. [doi]
@inproceedings{BurgholzerKW21,
title = {Random Stimuli Generation for the Verification of Quantum Circuits},
author = {Lukas Burgholzer and Richard Kueng and Robert Wille},
year = {2021},
doi = {10.1145/3394885.3431590},
url = {https://doi.org/10.1145/3394885.3431590},
researchr = {https://researchr.org/publication/BurgholzerKW21},
cites = {0},
citedby = {0},
pages = {767-772},
booktitle = {ASPDAC '21: 26th Asia and South Pacific Design Automation Conference, Tokyo, Japan, January 18-21, 2021},
publisher = {ACM},
isbn = {978-1-4503-7999-1},
}