Chu, H., Xiao, M. and Zhang, Z. (2021) “An Improved Upper Bound for SAT”, Proceedings of the AAAI Conference on Artificial Intelligence, 35(5), pp. 3707-3714. Available at: https://ojs.aaai.org/index.php/AAAI/article/view/16487 (Accessed: 11August2022).