Lower Bounds for Linear Transformed OBDDs and FBDDs (Extende Abstract).

Published in: FSTTCS (1999)

Keyphrases

lower bound
upper bound
objective function
branch and bound algorithm
branch and bound
optimal cost
linear programming relaxation
upper and lower bounds
vc dimension
higher level
worst case
high level
model checking
piecewise linear
optimal solution
linear systems
linear constraints
genetic algorithm