C Schmidt, NE Guenther, L Zdeborová - Journal of Statistical …, 2016 - inis.iaea.org
[en] Circular coloring is a constraint satisfaction problem where colors are assigned to nodes
in a graph in such a way that every pair of connected nodes has two consecutive colors (the …