The Power of Simulation for Equivalence Checking in Quantum Computing.

Lukas Burgholzer, Robert Wille

Browse the full DAC paper archive.