@misc{indiciae83f7b864ebfb,
  title = {NEXP-Completeness of Existential Presburger Arithmetic with Divisibility},
  author = {Ignacio Barros and Michaël Cadilhac and Guillermo A. Pérez},
  year = {2026},
  url = {https://arxiv.org/abs/2606.14167},
  note = {Source identifier: 2606.14167}
}