The Maximum Independent Set Problem and Augmenting Graphs - Hertz, Alain; Lozin, Vadim (Groupe d’études et de recherche en analyse des décisions, 2004)