TY  - RPRT
TI  - SAT Requires Exhaustive Search
AU  - Ke Xu
AU  - Guangyan Zhou
PY  - 2024
DO  - 10.1007/s11704-025-50231-4
UR  - https://arxiv.org/abs/2302.09512
ID  - 2302.09512
ER  -