Decision Diagrams

Equivalence Checking of Dynamic Quantum Circuits
Despite the rapid development of quantum computing these years, state-of-the-art quantum devices still contain only a limited number of …
Xin Hong, Yuan Feng, Sanjiang Li, Mingsheng Ying
引用 DOI URL