Infra-chromatic bound for exact maximum clique search
New state-of-the-art exact maximum clique approximate color algorithm. Improved bounds possibly below the chromatic number.
approximate coloring branch-and-bound maxsat combinatorial optimization