1 paper · 2 filters
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…