A Comparison of Time-Sharing, DPC, and Beamforming for MIMO Broadcast Channels With Many Users | Synapse