Succinct hitting sets and barriers to proving algebraic circuits lower bounds.

Michael A. Forbes Amir Shpilka Ben Lee Volk

Published in: STOC (2017)

Keyphrases

lower bound
upper bound
set theoretic
objective function
branch and bound algorithm
high speed
higher order
neural network
lower bounding
delay insensitive
np hard
worst case
branch and bound
optimal solution
upper and lower bounds
analog circuits
asynchronous circuits
definite clause
quantum computing
analog vlsi