Danny Nguyen, Igor Pak. Short Presburger Arithmetic Is Hard. In Chris Umans, editor, 58th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2017, Berkeley, CA, USA, October 15-17, 2017. pages 37-48, IEEE Computer Society, 2017. [doi]
Abstract is missing.