(1)
Chu, H.; Xiao, M.; Zhang, Z. An Improved Upper Bound for SAT. AAAI 2021, 35, 3707-3714.