Augmenting graphs for independent sets
scientific article; zbMATH DE number 2131567