Login / Signup
Automated Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops (Short WST Version).
Nils Lommen
Eleanore Meyer
Jürgen Giesl
Published in:
CoRR (2023)
Keyphrases
</>
complexity analysis
integer program
column generation
theoretical analysis
multistage stochastic
cutting plane
lower bound
linear program
semi automated
computational complexity
integer programming
network flow
first order logic
genetic algorithm
linear programming
upper bound
np hard
artificial intelligence