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]
@inproceedings{QuetschlichFOHW24,
title = {Towards Equivalence Checking of Classical Circuits Using Quantum Computing},
author = {Nils Quetschlich and Tobias Forster and Adrian Osterwind and Domenik Helms and Robert Wille},
year = {2024},
doi = {10.1109/QCE60285.2024.00040},
url = {https://doi.org/10.1109/QCE60285.2024.00040},
researchr = {https://researchr.org/publication/QuetschlichFOHW24},
cites = {0},
citedby = {0},
pages = {268-274},
booktitle = {IEEE International Conference on Quantum Computing and Engineering, QCE 2024, Montreal, QC, Canada, September 15-20, 2024},
editor = {Marek Osinski and Brian La Cour and Lia Yeh},
publisher = {IEEE},
isbn = {979-8-3315-4137-8},
}