M. Katzmann and C. Komusiewicz, “Systematic Exploration of Larger Local Search Neighborhoods for the Minimum Vertex Cover Problem”, AAAI, vol. 31, no. 1, Feb. 2017.