TY  - RPRT
TI  - SAT Encoding of Partial Ordering Models for Graph Coloring Problems
AU  - Daniel Faber
AU  - Adalat Jabrayilov
AU  - Petra Mutzel
PY  - 2024
UR  - https://arxiv.org/abs/2403.15961
ID  - 2403.15961
ER  -