On the Consistency of Circuit Lower Bounds for Non-Deterministic Time.
Albert AtseriasSam BussMoritz MüllerPublished in: CoRR (2023)
Keyphrases
- lower bound
- randomized algorithms
- upper bound
- branch and bound algorithm
- objective function
- branch and bound
- lower and upper bounds
- consistency checking
- black box
- high speed
- lower bounding
- worst case
- np hard
- upper and lower bounds
- analog circuits
- randomized algorithm
- optimal solution
- circuit design
- randomly generated problems
- vc dimension
- quadratic assignment problem
- constraint networks
- global constraints
- delay insensitive