Forall-exist statements in pseudopolynomial time.

Eleonore Bach, Friedrich Eisenbrand, Thomas Rothvoss, Robert Weismantel

Browse the full SODA paper archive.