(Multivariate) k-SUM as Barrier to Succinct Computation. - Geri Gokaj; Marvin Künnemann; Sabine Storandt; Carina Truschel (ESA, 2025)

Completeness Theorems for k-SUM and Geometric Friends: Deciding Fragments of Linear Integer Arithmetic. - Geri Gokaj; Marvin Künnemann (ITCS, 2025)

Completeness Theorems for k-SUM and Geometric Friends: Deciding Fragments of Integer Linear Arithmetic. - Geri Gokaj; Marvin Künnemann (CoRR, 2025)