Feasibly constructive proofs of succinct weak circuit lower bounds.
Moritz MüllerJán PichPublished in: Electron. Colloquium Comput. Complex. (2017)
Keyphrases
- lower bound
- upper bound
- high speed
- branch and bound
- lower and upper bounds
- objective function
- branch and bound algorithm
- upper and lower bounds
- theorem prover
- worst case
- electronic circuits
- np hard
- circuit design
- lower bounding
- vc dimension
- theorem proving
- optimal solution
- quadratic assignment problem
- optimal cost
- randomly generated problems
- set of randomly generated instances
- frequency response
- mathematical proofs
- real time
- analog circuits
- digital circuits
- online algorithms
- linear programming relaxation
- max sat
- learning algorithm