Watch Video

Branch-Cut-and-Propagate for the Maximum k-Colorable Subgraph Problem with Symmetry
by Tim Januschowski and Marc E. Pfetsch