TY  - RPRT
TI  - DDMF: An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction
AU  - Shigeru Yamashita
AU  - Shin-ichi Minato
AU  - D. Michael Miller
PY  - 2008
DO  - 10.1093/ietfec/e91-a.12.3793
UR  - https://arxiv.org/abs/0809.2336
ID  - 0809.2336
ER  -