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]

Authors

Lukas Burgholzer

This author has not been identified. Look up 'Lukas Burgholzer' in Google

Robert Wille

This author has not been identified. Look up 'Robert Wille' in Google