1 paper
Timo Brand, Daniel Faber, Stephan Held +1
We introduce ZykovColor, a novel SAT-based algorithm to solve the graph coloring problem working on top of an encoding that mimics the Zykov tree. Our method is based on an approac…