TY  - RPRT
TI  - A Quantum SMT Solver for Bit-Vector Theory
AU  - Shang-Wei Lin
AU  - Si-Han Chen
AU  - Tzu-Fan Wang
AU  - Yean-Ru Chen
PY  - 2023
UR  - https://arxiv.org/abs/2303.09353
ID  - 2303.09353
ER  -