Circuit Lower Bounds in Bounded Arithmetics.
Ján PichPublished in: Electron. Colloquium Comput. Complex. (2013)
Keyphrases
- lower bound
- upper bound
- branch and bound algorithm
- branch and bound
- objective function
- high speed
- circuit design
- worst case
- lower and upper bounds
- upper and lower bounds
- quadratic assignment problem
- truth table
- np hard
- max sat
- electronic circuits
- optimal cost
- vc dimension
- logic synthesis
- optimal solution
- theoretical analysis
- logic circuits
- continuous functions
- polynomial approximation
- lower bounding
- asymptotically optimal
- real time
- online learning