Multiple-Symbol Differential Decoding Based on Semi-Definite Programming