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