On the Consistency of Circuit Lower Bounds for Non-deterministic Time.
Albert AtseriasSam BussMoritz MüllerPublished in: STOC (2023)
Keyphrases
- lower bound
- upper bound
- randomized algorithms
- branch and bound algorithm
- circuit design
- electronic circuits
- objective function
- high speed
- lower and upper bounds
- randomized algorithm
- np hard
- analog vlsi
- branch and bound
- quadratic assignment problem
- lower bounding
- vc dimension
- consistency checking
- path consistency
- online algorithms
- upper and lower bounds