Byskov, J. M. Chromatic Number in Time O(2.4023^n) Using Maximal Independent Sets. BRICS 2002, 9.