@inproceedings{8104045,
    Author = {Nguyen, Danny and Pak, Igor},
    BookTitle = {2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS)},
    File = {Short Presburger arithmetic is hard - 1708.08179.pdf},
    Pages = {37-48},
    Title = {Short Presburger Arithmetic Is Hard},
    Year = {2017},
    bdsk-url-1 = {https://doi.org/10.1109/FOCS.2017.13},
    date-added = {2021-09-14 16:48:44 +0200},
    date-modified = {2021-09-14 16:48:44 +0200},
    doi = {10.1109/FOCS.2017.13}
}

@inproceedings{8104045, Author = {Nguyen, Danny and Pak, Igor}, BookTitle = {2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS)}, File = {Short Presburger arithmetic is hard - 1708.08179.pdf}, Pages = {37-48}, Title = {Short Presburger Arithmetic Is Hard}, Year = {2017}, bdsk-url-1 = {https://doi.org/10.1109/FOCS.2017.13}, date-added = {2021-09-14 16:48:44 +0200}, date-modified = {2021-09-14 16:48:44 +0200}, doi = {10.1109/FOCS.2017.13} }