https://123dok.net/document/zgw9k378-propagation-via-kernelization-the-vertex-cover-constraint.html