TY - RPRT TI - QSolver: A Quantum Constraint Solver AU - Shangzhou Xia AU - Haitao Fu AU - Jianjun Zhao PY - 2026 UR - https://arxiv.org/abs/2602.20171 ID - 2602.20171 ER -