Complexity of short Presburger arithmetic.

Danny Nguyen, Igor Pak

Browse the full STOC paper archive.