An Improved DSATUR-Based Branch-and-Bound Algorithm for the Vertex Coloring Problem

An Improved DSATUR-Based Branch-and-Bound Algorithm for the Vertex Coloring Problem