Zheng, J., He, K. and Zhou, J. (2023) “Farsighted Probabilistic Sampling: A General Strategy for Boosting Local Search MaxSAT Solvers”, Proceedings of the AAAI Conference on Artificial Intelligence, 37(4), pp. 4132-4139. doi: 10.1609/aaai.v37i4.25529.