Automatic generation of optimal quantum key distribution protocols. - Walter O. Krawec; Michael G. Nelson 002; Eric P. Geiss (GECCO, 2017)