Equivalence checking paradigms in quantum circuit design: a case study.

Tom Peham, Lukas Burgholzer, Robert Wille

Browse the full DAC paper archive.