Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops.

Nils Lommen Fabian Meyer Jürgen Giesl

Published in: IJCAR (2022)

Keyphrases

complexity analysis
integer program
lower bound
theoretical analysis
first order logic
cutting plane
column generation
linear program
multistage stochastic
integer programming
semi automatic
artificial intelligence
social networks
special case
cost function
np hard