Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Mingsheng Ying
Publications
Decision Diagrams for Symbolic Verification of Quantum Circuits
Xin Hong
,
Wei-Jia Huang
,
Wei-Chen Chien
,
Yuan Feng
,
Min-Hsiu Hsieh
,
Sanjiang Li
,
Chia-Shun Yeh
and
Mingsheng Ying
EasyChair Preprint 10649
Keyphrases
decision diagram
,
simulation
,
symbolic verification
.
Copyright © 2012-2024 easychair.org. All rights reserved.
