An XQDD-Based Verification Method for Quantum Circuits

Shiou-An Wang, Chin-Yung Lu, I-Ming Tsai, Sy-Yen Kuo. An XQDD-Based Verification Method for Quantum Circuits. IEICE Transactions, 91-A(2):584-594, 2008. [doi]

Abstract

Abstract is missing.