A lower bound for the independence number of a planar graph
scientific article; zbMATH DE number 3448603