Equivalence Checking of Dynamic Quantum Circuits.

Xin Hong Yuan Feng Sanjiang Li Mingsheng Ying

Published in: ICCAD (2022)

Keyphrases

quantum computing
dynamic environments
logic synthesis
database
databases
neural network
real world