Forall-exist statements in pseudopolynomial time

Eleonore Bach, Friedrich Eisenbrand, Thomas Rothvoss +1

Given a convex set $Q\subseteq R^m$ and an integer matrix $W\in Z^{m\times n}$, we consider statements of the form $\forall b\in Q\cap Z^m$ $\exists x\in Z^n$ s.t. $Wx \leq…