Jon Lee 0001 François Margot On a Binary-Encoded ILP Coloring Formulation. 406-415 2007 19 INFORMS J. Comput. 3 https://doi.org/10.1287/ijoc.1060.0178 db/journals/informs/informs19.html#LeeM07