TY  - RPRT
TI  - A Customized SAT-based Solver for Graph Coloring
AU  - Timo Brand
AU  - Daniel Faber
AU  - Stephan Held
AU  - Petra Mutzel
PY  - 2025
UR  - https://arxiv.org/abs/2504.04821
ID  - 2504.04821
ER  -