Feasibly constructive proofs of succinct weak circuit lower bounds.
Moritz MüllerJán PichPublished in: Ann. Pure Appl. Log. (2020)
Keyphrases
- lower bound
- upper bound
- branch and bound algorithm
- objective function
- branch and bound
- high speed
- upper and lower bounds
- circuit design
- np hard
- theorem prover
- formal proofs
- analog circuits
- electronic circuits
- lower bounding
- logic circuits
- mathematical proofs
- optimal solution
- quadratic assignment problem
- digital circuits
- vc dimension
- frequency response
- optimal cost
- analog vlsi
- theorem proving
- duty cycle
- linear programming relaxation
- real time
- delay insensitive