Improved Lower Bound, and Proof Barrier, for Constant Depth Algebraic Circuits.
C. S. BhargavSagnik DuttaNitin SaxenaPublished in: MFCS (2022)
Keyphrases
- lower bound
- upper bound
- branch and bound algorithm
- constant factor
- depth map
- branch and bound
- theorem prover
- arbitrarily close
- lower and upper bounds
- depth information
- high speed
- higher order
- worst case
- image sequences
- stereo vision
- np hard
- upper and lower bounds
- linear programming relaxation
- digital circuits
- lower bounding
- delay insensitive