TY  - RPRT
TI  - Forall-exist statements in pseudopolynomial time
AU  - Eleonore Bach
AU  - Friedrich Eisenbrand
AU  - Thomas Rothvoss
AU  - Robert Weismantel
PY  - 2024
UR  - https://arxiv.org/abs/2311.07214
ID  - 2311.07214
ER  -