Katzmann, Maximilian, and Christian Komusiewicz. “Systematic Exploration of Larger Local Search Neighborhoods for the Minimum Vertex Cover Problem”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 31, no. 1, Feb. 2017, doi:10.1609/aaai.v31i1.10659.