A Neurosymbolic Fast and Slow Architecture for Graph Coloring