Pruning / Branch and Bound
Bipartite Matching / Graph Coloring