A Customized SAT-based Solver for Graph Coloring.

Timo Brand, Daniel Faber, Stephan Held, Petra Mutzel

Browse the full ALENEX paper archive.