An algorithm for finding a maximum clique in a graph
scientific article; zbMATH DE number 1207139