J. M. Byskov, “Chromatic Number in Time O(2.4023^n) Using Maximal Independent Sets”, BRICS, vol. 9, no. 45, Dec. 2002.