Byskov, Jesper Makholm. 2002. “Chromatic Number in Time O(2.4023^n) Using Maximal Independent Sets”. BRICS Report Series 9 (45). https://doi.org/10.7146/brics.v9i45.21760.