A discrete first-order method for large-scale MIMO detection with provable guarantees | IEEE Conference Publication | IEEE Xplore