Fast Equivalence-checking for Quantum Circuits.

Shigeru Yamashita Igor L. Markov

Published in: CoRR (2009)

Keyphrases

shift register
high speed
quantum computing
quantum computation
logic circuits
quantum evolutionary algorithm
quantum inspired
datalog programs
logic synthesis
case study
social networks
database
equivalence relation
data model
multiscale
database systems
probability ranking principle