SAT Encoding of Partial Ordering Models for Graph Coloring Problems.

Daniel Faber, Adalat Jabrayilov, Petra Mutzel

Browse the full SAT paper archive.