Skip to content

Commit

Permalink
Added arXiv reference. (#115)
Browse files Browse the repository at this point in the history
These changes update the arXiv reference in the README.md for the
equivalence_checking submodule.
  • Loading branch information
tobi-forster authored Aug 28, 2024
1 parent 7e82d56 commit bec22b2
Showing 1 changed file with 7 additions and 5 deletions.
12 changes: 7 additions & 5 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -211,15 +211,17 @@ In case you are using our Equivalence-Checking approach, we would be thankful if

```bibtex
@INPROCEEDINGS{quetschlich2024equivalence_checking,
title = {{Towards Equivalence Checking of Classical Circuits Using Quantum Computing}},
author = {N. Quetschlich and T. Forster and A. Osterwind and D. Helms and R. Wille},
booktitle = {IEEE International Conference on Quantum Computing and Engineering (QCE)},
year = {2024},
title = {{Towards Equivalence Checking of Classical Circuits Using Quantum Computing}},
author = {N. Quetschlich and T. Forster and A. Osterwind and D. Helms and R. Wille},
eprint = {2408.14539},
archivePrefix = {arXiv},
year = {2024},
booktitle = {IEEE International Conference on Quantum Computing and Engineering (QCE)},
}
```

which is also available on arXiv:
[![a]()
[![a](https://img.shields.io/static/v1?label=arXiv&message=2408.14539&color=inactive&style=flat-square)](https://arxiv.org/abs/2408.14539)

## Acknowledgements

Expand Down

0 comments on commit bec22b2

Please sign in to comment.