Weighted and unweighted maximum clique algorithms with upper bounds from fractional coloring
scientific article; zbMATH DE number 881757