SAT Encoding of Partial Ordering Models for Graph Coloring Problems

1 code implementation • 23 Mar 2024 • Daniel Faber, Adalat Jabrayilov, Petra Mutzel

For the widely studied GCP, we experimentally compare our new SAT encoding to the state-of-the-art approaches on the DIMACS benchmark set.