TY  - RPRT
TI  - An Improved Upper Bound for SAT
AU  - Huairui Chu
AU  - Mingyu Xiao
AU  - Zhe Zhang
PY  - 2020
UR  - https://arxiv.org/abs/2007.03829
ID  - 2007.03829
ER  -