Advanced Equivalence Checking for Quantum Circuits.

Lukas Burgholzer Robert Wille

Published in: CoRR (2020)

Keyphrases

quantum computing
logic circuits
logic synthesis
quantum computation
high speed
quantum inspired
quantum evolutionary algorithm
real time
low power
delay insensitive
quantum mechanics
information systems
e learning
decision trees
datalog programs