An efficient generalized sphere decoder for rank-deficient MIMO systems | Synapse