Maximal independent sets and separating covers - Vincent Vatter (2009)