research
∙
07/19/2023
Automated Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops (Short WST Version)
There exist several results on deciding termination and computing runtim...
share
research
∙
07/13/2023
Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs
We present a new procedure to infer size bounds for integer programs aut...
research
∙
05/18/2022
Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops
There exist several results on deciding termination and computing runtim...
research
∙
02/03/2022