清华大学计算机系量子软件研究中心
清华大学计算机系量子软件研究中心
新闻动态
团队成员
学术活动
论文发表
Decision Diagram
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
,
Mingsheng Ying
引用
DOI
A Tensor Network based Decision Diagram for Representation of Quantum Circuits
Tensor networks have been successfully applied in simulation of quantum physical systems for decades. Recently, they have also been …
Xin Hong
,
Xiangzhen Zhou
,
Sanjiang Li
,
Yuan Feng
,
Mingsheng Ying
引用
DOI
URL
引用
×