Chu, H., Xiao, M., & Zhang, Z. (2021). An Improved Upper Bound for SAT. Proceedings of the AAAI Conference on Artificial Intelligence, 35(5), 3707-3714. Retrieved from https://ojs.aaai.org/index.php/AAAI/article/view/16487