An upper bound on the independence number of a graph computable in polynomial-time
independence number of an undirected graph
scientific article; zbMATH DE number 912525