CRC-Aided Soft-Output Detection for Uplink Multi-User MIMO Systems With One-Bit ADCs | IEEE Conference Publication | IEEE Xplore