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. https://doi.org/10.1609/aaai.v35i5.16487