//-->
A new DSATUR-based algorithm for exact vertex coloring
San Segundo, Pablo, (2012)
Relaxed approximate coloring in exact maximum clique search
San Segundo, Pablo, (2014)
An exact bit-parallel algorithm for the maximum clique problem
San Segundo, Pablo, (2011)