%0 Conference Paper %1 conf/focs/NguyenP17 %A Nguyen, Danny %A Pak, Igor %B FOCS %D 2017 %E Umans, Chris %I IEEE Computer Society %K dblp %P 37-48 %T Short Presburger Arithmetic Is Hard. %U http://dblp.uni-trier.de/db/conf/focs/focs2017.html#NguyenP17 %@ 978-1-5386-3464-6

@inproceedings{conf/focs/NguyenP17, added-at = {2023-03-23T00:00:00.000+0100}, author = {Nguyen, Danny and Pak, Igor}, biburl = {https://www.bibsonomy.org/bibtex/2ed6c0ca873145b903fa0377f64db0db4/dblp}, booktitle = {FOCS}, crossref = {conf/focs/2017}, editor = {Umans, Chris}, ee = {https://doi.ieeecomputersociety.org/10.1109/FOCS.2017.13}, interhash = {ed27314efdd7fd56437fbd4c70ceb44f}, intrahash = {ed6c0ca873145b903fa0377f64db0db4}, isbn = {978-1-5386-3464-6}, keywords = {dblp}, pages = {37-48}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T14:13:12.000+0200}, title = {Short Presburger Arithmetic Is Hard.}, url = {http://dblp.uni-trier.de/db/conf/focs/focs2017.html#NguyenP17}, year = 2017 }