Geri Gokaj
Scientific Assistant
Karlsruhe Institute of Technology (KIT)
Institute of Theoretical Informatics
| geri.gokaj@kit.edu | |
| office | room 316, Computer Science building 50.34 |
| office hours | by appointment |
Publications
- Geri Gokaj, Marvin Künnemann. Completeness Theorems for k-SUM and Geometric Friends: Deciding fragments of Linear Integer Arithmetic. At ITCS 2025. itcs25.pdf Full Version: full_version.pdf Slides: presentation.pdf