Timo Brand, Daniel Faber, Stephan Held, Petra Mutzel: A Customized SAT-based Solver for Graph Coloring. Zenodo 2025