TY  - RPRT
TI  - Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs
AU  - Nils Lommen
AU  - Jürgen Giesl
PY  - 2024
UR  - https://arxiv.org/abs/2307.06921
ID  - 2307.06921
ER  -