Partitioned graph coloring using Linear Programming.
Partitioned graph coloring using Integer Linear Programming (ILP).