Lower Bounds on the OBDD Size of Graphs of Some Popular Functions.

Daniel Sawitzki

Published in: SOFSEM (2005)

Keyphrases

graph partitioning
lower bound
weighted graph
upper bound
branch and bound algorithm
boolean functions
lower and upper bounds
objective function
running times
linear functions
worst case
branch and bound
lower bounding
constant factor
ordered binary decision diagrams