ILP: np-hardness and ILP solvers
ilp: example of cyclic clustering
move proof of ILP and comment out