Consistency of circuit lower bounds with bounded theories.
Jan BydzovskyIgor Carboni OliveiraJan KrajícekPublished in: Electron. Colloquium Comput. Complex. (2019)
Keyphrases
- lower bound
- upper bound
- branch and bound algorithm
- objective function
- branch and bound
- lower and upper bounds
- high speed
- np hard
- analog circuits
- defeasible logic
- circuit design
- vc dimension
- truth table
- electronic circuits
- digital circuits
- upper and lower bounds
- database systems
- worst case
- online algorithms
- logic circuits
- evolutionary algorithm
- data structure
- set of randomly generated instances