P
Initializing...
Theorem 4.15 -- M-convex sets correspond to integer submodular functions · Prove2Me