Inferring Lower Bounds for Runtime Complexity.

Florian Frohn Jürgen Giesl Jera Hensel Cornelius Aschermann Thomas Ströder

Published in: RTA (2015)

Keyphrases

lower bound
upper bound
worst case
objective function
branch and bound
computational complexity
data sets
lower and upper bounds
average case complexity
branch and bound algorithm
space complexity
neural network
learning algorithm
upper and lower bounds