On user scheduling for maximum throughput in K-user MISO broadcast channels | IEEE Conference Publication | IEEE Xplore