TY  - RPRT
TI  - Further Explanations on "SAT Requires Exhaustive Search"
AU  - Qingxiu Dong
AU  - Guangyan Zhou
AU  - Ke Xu
PY  - 2024
UR  - https://arxiv.org/abs/2401.01193
ID  - 2401.01193
ER  -