Exponential Lower Bounds on the Size of OBDDs Representing Integer Divistion.

Takashi Horiyama Shuzo Yajima

Published in: ISAAC (1997)

Keyphrases

lower bound
upper bound
exponential size
running times
objective function
branch and bound algorithm
data structure
average case complexity
genetic algorithm
computational complexity
upper and lower bounds
online algorithms