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