![[IEEE 2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS) - Berkeley, CA (2017.10.15-2017.10.17)] 2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS) - Short Presburger Arithmetic Is Hard]()
[IEEE 2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS) - Berkeley, CA (2017.10.15-2017.10.17)] 2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS) - Short Presburger Arithmetic Is HardNguyen, Danny; Pak, Igor · 2017