TY  - RPRT
TI  - Automated Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops (Short WST Version)
AU  - Nils Lommen
AU  - Eleanore Meyer
AU  - Jürgen Giesl
PY  - 2023
UR  - https://arxiv.org/abs/2307.10061
ID  - 2307.10061
ER  -