Monotone circuit lower bounds from resolution.
Ankit GargMika GöösPritish KamathDmitry SokolovPublished in: STOC (2018)
Keyphrases
- lower bound
- upper bound
- branch and bound algorithm
- branch and bound
- high speed
- worst case
- upper and lower bounds
- high resolution
- lower and upper bounds
- objective function
- circuit design
- low resolution
- randomly generated problems
- quadratic assignment problem
- digital circuits
- frequency response
- consequence finding
- np hard
- vc dimension
- logic programs
- linear programming relaxation
- low cost
- search algorithm
- lower bounding
- analog circuits
- optimal solution
- learning algorithm
- neural network