Consistency of circuit lower bounds with bounded theories.
Jan BydzovskyJan KrajícekIgor Carboni OliveiraPublished in: CoRR (2019)
Keyphrases
- lower bound
- upper bound
- high speed
- lower and upper bounds
- optimal solution
- branch and bound algorithm
- truth table
- worst case
- defeasible logic
- branch and bound
- objective function
- lower bounding
- theoretical framework
- np hard
- circuit design
- low power
- upper and lower bounds
- consistency checking
- power dissipation
- neural network
- sample complexity
- vc dimension
- theoretical analysis
- quadratic assignment problem
- digital circuits
- analog circuits