A lower bound on the independence number of a graph
scientific article; zbMATH DE number 1524931