S. A. WangC. Y. LuI. M. TsaiSY-YEN KUO2018-09-102018-09-102008-02http://scholars.lib.ntu.edu.tw/handle/123456789/342603An XQDD-Based Verification Method for Quantum Circuitsjournal article10.1093/ietfec/e91-a.2.5842-s2.0-70349430483WOS:000253656200021