TY - RPRT TI - Propagation via Kernelization: The Vertex Cover Constraint AU - Clément Carbonnel AU - Emmanuel Hébrard PY - 2017 DO - 10.1007/978-3-319-44953-1_10 UR - https://arxiv.org/abs/1702.02470 ID - 1702.02470 ER -