@misc{indiciaebcda0836aa9a,
  title = {A Quantum SMT Solver for Bit-Vector Theory},
  author = {Shang-Wei Lin and Si-Han Chen and Tzu-Fan Wang and Yean-Ru Chen},
  year = {2023},
  url = {https://arxiv.org/abs/2303.09353},
  note = {Source identifier: 2303.09353}
}