Clément Carbonnel, Emmanuel Hébrard. Propagation via Kernelization: The Vertex Cover Constraint. Michel Rueher. The 22nd International Conference on Principles and Practice of Constraint Programming, Sep 2016, Toulouse, France. Lecture Notes in Computer S
HAL Archives-Ouvertes,
Clément Carbonnel, Emmanuel Hébrard. Propagation via Kernelization: The Vertex Cover Constraint.