Dias, B., de Freitas, R., Marenco, J., & Maculan, N. 2018 Jul 26. Distance-based polytope for the classical vertex coloring problem in graphs. Proceedings of the Theory of Computation Meeting (ETC). [Online] :