P

Initializing...

Theorem 5.3 — the $s$-$t$ Path Decomposable Subgraph Polytope of an acyclic digraph · Prove2Me