Cai, S., Su, K. and Sattar, A. (2021) “Two New Local Search Strategies for Minimum Vertex Cover”, Proceedings of the AAAI Conference on Artificial Intelligence, 26(1), pp. 441–447. doi: 10.1609/aaai.v26i1.8125.