Minimal Equational Theories for Quantum Circuits.

Alexandre Clément Noé Delorme Simon Perdrix

Published in: CoRR (2023)

Keyphrases

equational theories
quantum computing
logic circuits
logic synthesis
theorem proving
high speed
quantum inspired
low power
quantum mechanics
function symbols
delay insensitive
quantum computation
power dissipation
analog circuits