Uniqueness of the extremal graph in the problem of maximizing the number of independent sets in regular graphs. - Alexei Dmitriev; Alex Dainiak (CoRR, 2016)