Approximate Equivalence Checking of Noisy Quantum Circuits.

Xin Hong Mingsheng Ying Yuan Feng Xiangzhen Zhou Sanjiang Li

Published in: CoRR (2021)

Keyphrases

quantum computing
logic circuits
logic synthesis
quantum inspired
high speed
quantum evolutionary algorithm
circuit design
exact solution
channel capacity
electronic circuits
digital circuits
data mining
piecewise linear
low power
noisy data
least squares
hidden markov models
case study
decision trees