Watch Video

Branch-Cut-and-Propagate for the Maximum k-Colorable Subgraph Problem with Symmetry