Keyword: StabNum
The independence number of a graph G is the maximum cardinality of an independent set in G.