On a Binary-Encoded ILP Coloring Formulation. - Lee, Jon; Margot, François (INFORMS Journal on Computing, 2007)