cognitive radyo cplex formulation