W. Luo, R. Ye, H. Wan, S. Cai, B. Fang, and D. Zhang, “Improving Local Search Algorithms via Probabilistic Configuration Checking”, AAAI, vol. 36, no. 9, pp. 10283-10290, Jun. 2022.