P
Initializing...
Proof of Theorem 7, p. 1332 — a (Choice Based) solution u gives the (Reduced) solution x̃_j = Σ_S P_{j,S} u_S, z̃_j = Σ_S R_{j,S} u_S with the same objective · Prove2Me