Many variants of the vertex coloring problem have been de ned, such as precoloring extension, μ-coloring, (γ ; μ)-coloring, and list coloring. These problems are NP-hard, as they generalize the classical vertex coloring problem. On the other side, there exist several families of graphs for which some of these problems can be solved in polynomial time. The standard integer programming model for coloring problems uses a binary variable xvc for each vertex v and each color c to indicate whether v is assigned c or not. An extension of this model considers binary variables wc for each color c to indicate whether color c is used or not. In this work we study this formulation for the polynomial cases of the coloring problems mentioned above. In particular, we prove that if the classical vertex coloring problem yields an integer polytope for a family of graphs, then the same holds for μ-coloring, ( γ; μ)-coloring, and list coloring over the same family. We prove that the polytope associated to these problems over trees is integer and that adding the clique inequalities, the resulting polytope is integer over block graphs also. Finally, we give a new family of facet-inducing valid inequalities for the standard formulation and we provide empirical evidence suggesting that this family completely describes the polytope associated to these problems over cycles (and probably cactii graphs).Sociedad Argentina de Informática e Investigación Operativa