Lower Bounds for Linearly Transformed OBDDs and FBDDs.
Detlef SielingPublished in: J. Comput. Syst. Sci. (2002)
Keyphrases
- lower bound
- upper bound
- branch and bound algorithm
- branch and bound
- lower and upper bounds
- boolean functions
- model checking
- objective function
- np hard
- lower bounding
- temporal logic
- optimal solution
- upper and lower bounds
- quadratic assignment problem
- combinatorial optimization
- linear programming relaxation
- linear programming
- worst case
- search algorithm
- randomly generated
- neural network
- randomly generated problems
- ordered binary decision diagrams