Nils Quetschlich, Tobias Forster, Adrian Osterwind, Domenik Helms, Robert Wille. Towards Equivalence Checking of Classical Circuits Using Quantum Computing. In Marek Osinski, Brian La Cour, Lia Yeh, editors, IEEE International Conference on Quantum Computing and Engineering, QCE 2024, Montreal, QC, Canada, September 15-20, 2024. pages 268-274, IEEE, 2024. [doi]
Abstract is missing.