[1]
H. Chu, M. Xiao, and Z. Zhang, “An Improved Upper Bound for SAT”, AAAI, vol. 35, no. 5, pp. 3707-3714, May 2021.