Advanced Equivalence Checking for Quantum Circuits

Lukas Burgholzer, Robert Wille. Advanced Equivalence Checking for Quantum Circuits. IEEE Trans. on CAD of Integrated Circuits and Systems, 40(9):1810-1824, 2021. [doi]

Abstract

Abstract is missing.