Zheng, J.; He, K.; Zhou, J. Farsighted Probabilistic Sampling: A General Strategy for Boosting Local Search MaxSAT Solvers. AAAI 2023, 37, 4132-4139.