Hybrid symbolic-explicit techniques for the graph coloring problem