A new \textsf{DSATUR}-based algorithm for exact vertex coloring
scientific article; zbMATH DE number 6107602
scientific article