This project includes the constraint programming (CP) models presented in the paper New Bounds and Constraint Programming Models for the Weighted Vertex Coloring Problem, IJCAI 2023. The vertex ...