Equivalence Checking

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
Equivalence Checking of Sequential Quantum Circuits
Qisheng Wang, Riling Li, Mingsheng Ying
引用 DOI