Lower Bounds for Linear Transformed OBDDs and FBDDs
Detlef SielingPublished in: Electron. Colloquium Comput. Complex. (1999)
Keyphrases
- lower bound
- upper bound
- branch and bound algorithm
- objective function
- branch and bound
- model checking
- closed form
- vc dimension
- np hard
- worst case
- data sets
- randomly generated problems
- theoretical analysis
- boolean functions
- linear model
- lower and upper bounds
- upper and lower bounds
- linear systems
- optimal cost
- set of randomly generated instances