Nr. 45 (2002): RS-45 Chromatic Number in Time O(2.4023^n) Using Maximal Independent Sets