Larger Lower Bounds on the OBDD Complexity of Integer Multiplication.

Published in: LATA (2009)

Keyphrases

lower bound
upper bound
worst case
integer arithmetic
floating point
computational complexity
branch and bound
branch and bound algorithm
model checking
decision problems
average case complexity
learning algorithm
np hard
ordered binary decision diagrams