Fast Equivalence Checking of Quantum Circuits of Clifford Gates.

Dimitrios Thanos Tim Coopmans Alfons Laarman

Published in: ATVA (2023)

Keyphrases

logic circuits
low power
tunnel diode
quantum computing
logic synthesis
image processing
interactive dynamic influence diagrams
neural network
data mining
information retrieval
low cost
infrared
power consumption
consistency checking
power dissipation