P
Initializing...
Theorem 7 — an optimal (Reduced) solution decomposes into offer sets and yields an optimal (Choice Based) solution with the same value · Prove2Me