Xin Hong, Mingsheng Ying, Yuan Feng 0001, XiangZhen Zhou, Sanjiang Li. Approximate Equivalence Checking of Noisy Quantum Circuits. In 58th ACM/IEEE Design Automation Conference, DAC 2021, San Francisco, CA, USA, December 5-9, 2021. pages 637-642, IEEE, 2021. [doi]
@inproceedings{HongY0ZL21,
title = {Approximate Equivalence Checking of Noisy Quantum Circuits},
author = {Xin Hong and Mingsheng Ying and Yuan Feng 0001 and XiangZhen Zhou and Sanjiang Li},
year = {2021},
doi = {10.1109/DAC18074.2021.9586214},
url = {https://doi.org/10.1109/DAC18074.2021.9586214},
researchr = {https://researchr.org/publication/HongY0ZL21},
cites = {0},
citedby = {0},
pages = {637-642},
booktitle = {58th ACM/IEEE Design Automation Conference, DAC 2021, San Francisco, CA, USA, December 5-9, 2021},
publisher = {IEEE},
isbn = {978-1-6654-3274-0},
}