@misc{indiciae41764fd795b5, title = {Propagation via Kernelization: The Vertex Cover Constraint}, author = {Clément Carbonnel and Emmanuel Hébrard}, year = {2017}, doi = {10.1007/978-3-319-44953-1\_10}, url = {https://arxiv.org/abs/1702.02470}, note = {Source identifier: 1702.02470} }