David Eppstein Small Maximal Independent Sets and Faster Exact Graph Coloring http://arxiv.org/abs/cs.DS/0011009 2000 CoRR cs.DS/0011009 db/journals/corr/corr0011.html#cs-DS-0011009 informal publication