Keyphrases
- lower bound
- upper bound
- boolean functions
- truth table
- higher order
- branch and bound
- branch and bound algorithm
- logic synthesis
- real valued
- upper and lower bounds
- high speed
- np hard
- lower and upper bounds
- objective function
- multi valued
- uniform distribution
- worst case
- delay insensitive
- high order
- lower bounding
- logic circuits
- quadratic assignment problem
- digital circuits
- optimal cost
- disjunctive normal form
- tensor decomposition
- set of randomly generated instances
- min sum
- analog circuits
- concept class
- linear programming relaxation
- max sat
- optimal solution