Minimal Equational Theories for Quantum Circuits.

Alexandre Clément Noé Delorme Simon Perdrix

Published in: LICS (2024)

Keyphrases

equational theories
quantum computing
logic circuits
logic synthesis
quantum inspired
theorem proving
quantum computation
quantum mechanics
function symbols
high speed
delay insensitive
circuit design