Graph Coloring Constraint Satisfaction Problem