@misc{uotila2025zxdb,
      title={ZX-DB: A Graph Database for Quantum Circuit Simplification and Rewriting via the ZX-Calculus},
      author={Uotila, Valter and Yu, Cong and Zhao, Bo},
      year={2025},
      eprint={2511.13033},
      archivePrefix={arXiv},
      primaryClass={quant-ph},
      url={https://arxiv.org/abs/2511.13033}
}