Succinct Hitting Sets and Barriers to Proving Algebraic Circuits Lower Bounds.
Michael A. ForbesAmir ShpilkaBen Lee VolkPublished in: Electron. Colloquium Comput. Complex. (2017)
Keyphrases
- lower bound
- upper bound
- set theoretic
- branch and bound algorithm
- objective function
- worst case
- analog vlsi
- upper and lower bounds
- lower and upper bounds
- branch and bound
- np hard
- linear programming relaxation
- logic synthesis
- search space
- convex sets
- computational complexity
- lower bounding
- neural network
- electronic circuits
- min sum
- data sets