Keyword:decision diagram

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