Total weak unimodularity: Testing and applications (Q798401)

An integer matrix is called totally weakly unimodular (TWU) if the following statement is true for all integral b: ''There exists x such that A\(x\geq b''\) implies ''there exists integral x such that A\(x\geq b''\). A polynomially bounded algorithm is presented that either produces an integral x satisfying A\(x\geq b\) or shows that A is not TWU for an integral matrix A and an integral vector b.