Katzmann, M.; Komusiewicz, C. Systematic Exploration of Larger Local Search Neighborhoods for the Minimum Vertex Cover Problem. AAAI 2017, 31.