@misc{indiciaea8d50c5ded73,
  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},
  url = {https://arxiv.org/abs/2408.14539},
  note = {Source identifier: 2408.14539}
}