Short Presburger Arithmetic Is Hard

Article Details
Title:	Short Presburger Arithmetic Is Hard
Article URLs:	https://doi.org/10.1109/FOCS.2017.13 http://doi.ieeecomputersociety.org/10.1109/FOCS.2017.13
Alternative Article URLs:
Authors:	Danny Nguyen	University of California - Los Angeles, Department of Mathematics
Authors:	Igor Pak	University of California - Los Angeles, Department of Mathematics
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:	unknown
DBLP Key:	conf/focs/NguyenP17
Author Comments:

IEEE Foundations of Computer Science, FOCS 2017