CSP for graph coloring