Fast Equivalence Checking of Quantum Circuits of Clifford Gates.

Dimitrios Thanos, Tim Coopmans, Alfons Laarman

Browse the full ATVA paper archive.