Luo, W., Ye, R., Wan, H., Cai, S., Fang, B. and Zhang, D. (2022) “Improving Local Search Algorithms via Probabilistic Configuration Checking”, Proceedings of the AAAI Conference on Artificial Intelligence, 36(9), pp. 10283-10290. doi: 10.1609/aaai.v36i9.21269.