@misc{indiciaec3a87b000530,
  title = {Forall-exist statements in pseudopolynomial time},
  author = {Eleonore Bach and Friedrich Eisenbrand and Thomas Rothvoss and Robert Weismantel},
  year = {2024},
  url = {https://arxiv.org/abs/2311.07214},
  note = {Source identifier: 2311.07214}
}