DDMF: An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction.

Shigeru Yamashita Shin-ichi Minato D. Michael Miller DDMF: An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction. 3793-3802 2008 91-A IEICE Transactions 12 http://dx.doi.org/10.1093/ietfec/e91-a.12.3793 db/journals/ieicet/ieicet91a.html#YamashitaMM08