Text this: Kernelization algorithms for the vertex cover problem