@misc{indiciae704231720bbe,
  title = {ZX-DB: A Graph Database for Quantum Circuit Simplification and Rewriting via the ZX-Calculus},
  author = {Valter Uotila and Cong Yu and Bo Zhao},
  year = {2025},
  url = {https://arxiv.org/abs/2511.13033},
  note = {Source identifier: 2511.13033}
}