Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
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]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Handling non-unitaries in quantum circuit equivalence checkingLukas Burgholzer, Robert Wille. dac 2022: 529-534 [doi] Improved DD-based Equivalence Checking of Quantum CircuitsLukas Burgholzer, Robert Wille. aspdac 2020: 127-132 [doi] QCEC: A JKQ tool for quantum circuit equivalence checkingLukas Burgholzer, Robert Wille. simpa, 7:100051, 2021. [doi] Equivalence Checking of Quantum Circuits With the ZX-CalculusTom Peham, Lukas Burgholzer, Robert Wille. esticas, 12(3):662-675, 2022. [doi]
The following publications are possibly variants of this publication: