Fast equivalence checking of quantum circuits of Clifford gates

Dimitrios Thanos, Tim Coopmans, Alfons Laarman

Checking whether two quantum circuits are equivalent is important for the design and optimization of quantum-computer applications with real-world devices. We consider quantum circ…