Cai, S.; Su, K.; Sattar, A. Two New Local Search Strategies for Minimum Vertex Cover. AAAI 2021, 26, 441-447.