§5.1 — the cost shift $c_r := c_r + |r|$ makes weak subcolumn costs strict and adds $m$ to every partition's cost

Initializing...

§5.1 — the cost shift $c_r := c_r + |r|$ makes weak subcolumn costs strict and adds $m$ to every partition's cost · Prove2Me