Semidefinite programming for detection in linear systems - optimality conditions and space-time decoding | IEEE Conference Publication | IEEE Xplore