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