Targeting completeness: using closed forms for size bounds of integer programs. (English) Zbl 1540.68061
Sattler, Uli (ed.) et al., Frontiers of combining systems. 14th international symposium, Frocos 2023, Prague, Czech Republic, September 20–22, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14279, 3-22 (2023).