Propagation via Kernelization: The Vertex Cover Constraint | Read Paper on Bytez