S. Cai, K. Su, and A. Sattar, “Two New Local Search Strategies for Minimum Vertex Cover”, AAAI, vol. 26, no. 1, pp. 441–447, Sep. 2021.