Parallel Equivalence Checking of Stabilizer Quantum Circuits on GPUs.

Muhammad Osama, Dimitrios Thanos, Alfons Laarman

Browse the full TACAS paper archive.