LEARN-Uniform Circuit Lower Bounds and Provability in Bounded Arithmetic.
Marco CarmosinoValentine KabanetsAntonina KolokolovaIgor Carboni OliveiraPublished in: Electron. Colloquium Comput. Complex. (2021)
Keyphrases
- lower bound
- upper bound
- objective function
- branch and bound algorithm
- neural network
- analog circuits
- worst case
- high speed
- online algorithms
- linear programming relaxation
- floating point
- search algorithm
- data sets
- efficient learning
- special case
- circuit design
- quadratic assignment problem
- reinforcement learning
- delay insensitive