New SAT encodings based on partial-ordering models outperform traditional ILP formulations for graph coloring problems.