On Defining Integers And Proving Arithmetic Circuit Lower Bounds.
Peter BürgisserPublished in: Comput. Complex. (2009)
Keyphrases
- lower bound
- floating point
- upper bound
- objective function
- high speed
- branch and bound algorithm
- micron cmos
- upper and lower bounds
- lower and upper bounds
- branch and bound
- worst case
- np hard
- analog circuits
- vc dimension
- circuit design
- lower bounding
- arithmetic operations
- electronic circuits
- quadratic assignment problem
- optimal cost
- optimal solution
- search algorithm
- real numbers
- set of randomly generated instances