Geri Gokaj
Scientific Assistant
Karlsruhe Institute of Technology (KIT)
Institute of Theoretical Informatics
email
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.
To appear at ITCS 2025.
itcs25.pdf