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