Lukas Burgholzer, Robert Wille. Improved DD-based Equivalence Checking of Quantum Circuits. In 25th Asia and South Pacific Design Automation Conference, ASP-DAC 2020, Beijing, China, January 13-16, 2020. pages 127-132, IEEE, 2020. [doi]
Abstract is missing.