P
Initializing...
Relative strength of spanning tree formulations: $P_{sub} \subseteq P_{cut}$ · Prove2Me