Fast, effective vertex cover kernelization: a tale of two algorithms | IEEE Conference Publication | IEEE Xplore