the graph coloring problem exact and heuristic solutions 169dce4d88ab