Login / Signup
Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops.
Nils Lommen
Fabian Meyer
Jürgen Giesl
Published in:
CoRR (2022)
Keyphrases
</>
complexity analysis
integer program
column generation
theoretical analysis
integer programming
lower bound
semi automatic
linear program
multistage stochastic
cutting plane
computational complexity
social networks
first order logic
set covering
linear programming
valid inequalities
knowledge base