Geri Gokaj
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
Completeness Theorems for k-SUM and Geometric Friends: Deciding Fragments of Integer Linear Arithmetic.
CoRR, February, 2025
Completeness Theorems for k-SUM and Geometric Friends: Deciding Fragments of Linear Integer Arithmetic.
Proceedings of the 16th Innovations in Theoretical Computer Science Conference, 2025
Proceedings of the 33rd Annual European Symposium on Algorithms, 2025