F. Ye, C. Luo, and S. Cai, “Better Understandings and Configurations in MaxSAT Stochastic Local Search Solvers via Anytime Performance Analysis”, AAAI, vol. 39, no. 25, pp. 27153–27160, Apr. 2025.