TY  - RPRT
TI  - Evaluating the Claims of "SAT Requires Exhaustive Search"
AU  - Michael C. Chavrimootoo
AU  - Yumeng He
AU  - Matan Kotler-Berkowitz
AU  - Harry Liuson
AU  - Zeyu Nie
PY  - 2023
UR  - https://arxiv.org/abs/2312.02071
ID  - 2312.02071
ER  -