P

Initializing...

High-excess H-polyhedra factorized into small-excess row blocks satisfy the row-excess bound · Prove2Me