Sebastian Berndt, Matthias Mnich, Tobias Stamm: New Support Size Bounds and Proximity Bounds for Integer Linear Programming. SOFSEM 2024: 82-95