Ye, Furong, Chuan Luo, and Shaowei Cai. “Better Understandings and Configurations in MaxSAT Stochastic Local Search Solvers via Anytime Performance Analysis”. Proceedings of the AAAI Conference on Artificial Intelligence 39, no. 25 (April 11, 2025): 27153–27160. Accessed May 13, 2026. https://ojs.aaai.org/index.php/AAAI/article/view/34923.