Abstract
Kernelization is a powerful concept from parameterized complexity theory that captures (a certain
idea of) efficient polynomial-time preprocessing
for hard decision problems. However, exploiting
this technique in the context of constraint programming is challenging. Building on recent results for
the VERTEXCOVER constraint, we introduce novel
“loss-less” kernelization variants that are tailored
for constraint propagation. We showcase the theoretical interest of our ideas on two constraints,
VERTEXCOVER and EDGEDOMINATINGSET