On the maximum independent set problem in graphs of bounded maximum degree
scientific article; zbMATH DE number 7216601