Integer programming Branch-and-cut algorithms Algorithms Graph coloring Dynamic programming Cutting plane algorithms Graph theory Heuristic methods Integer programming formulations Branch-and-Cut Combinatorial optimization Linear programming Computational results Computer programming Facets of polyhedra Linearization Mathematical models Multicoloring Valid inequality Benchmarking Branch and cut Branch-and-Bound Branch-and-Cut algorithms Branch-and-cut Computational experiment Convex hulls Enumeration trees Equitable coloring Exact algorithms Feasible solutions