Danny Nguyen, Igor Pak. Complexity of short Presburger arithmetic. In Hamed Hatami, Pierre McKenzie, Valerie King, editors, Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2017, Montreal, QC, Canada, June 19-23, 2017. pages 812-820, ACM, 2017. [doi]
Abstract is missing.