A new DSATUR-based algorithm for exact vertex coloring - San Segundo P (Computers & Operations Research, 2012)