Revisionist Simulations: A New Approach to Proving Space Lower Bounds.

Faith Ellen Rati Gelashvili Leqi Zhu

Published in: PODC (2018)

Keyphrases

lower bound
upper bound
higher dimensional
objective function
simulation environment
lower and upper bounds
space time
vector space
branch and bound algorithm
set of randomly generated instances
database
learning theory
low dimensional
image registration
scheduling problem
np hard
search space