The Automorphism Group of a Binary Self-Dual Doubly Even$[72,36,16]$Code is Solvable | IEEE Journals & Magazine | IEEE Xplore