Short Presburger Arithmetic Is Hard.

Danny Nguyen, Igor Pak

Browse the full FOCS paper archive.