From Cliques to Colorings and Back Again

We present an exact algorithm for graph coloring and maximum clique problems based on SAT technology.