Ye, F.; Luo, C.; Cai, S. Better Understandings and Configurations in MaxSAT Stochastic Local Search Solvers via Anytime Performance Analysis. AAAI 2025, 39, 27153-27160.