Monotone Circuit Lower Bounds from Resolution.
Ankit GargMika GöösPritish KamathDmitry SokolovPublished in: Theory Comput. (2020)
Keyphrases
- lower bound
- upper bound
- branch and bound algorithm
- branch and bound
- lower and upper bounds
- worst case
- upper and lower bounds
- objective function
- np hard
- high resolution
- high speed
- consequence finding
- circuit design
- optimal solution
- electronic circuits
- low resolution
- low power
- linear programming relaxation
- analog circuits
- optimal cost
- randomly generated problems