Consistency of circuit lower bounds with bounded theories.
Jan BydzovskyJan KrajícekIgor Carboni OliveiraPublished in: Log. Methods Comput. Sci. (2020)
Keyphrases
- lower bound
- upper bound
- objective function
- high speed
- truth table
- worst case
- branch and bound
- branch and bound algorithm
- np hard
- defeasible logic
- lower bounding
- vc dimension
- lower and upper bounds
- quadratic assignment problem
- optimal solution
- logic circuits
- electronic circuits
- knowledge base
- upper and lower bounds
- learning theory
- theory revision
- global consistency
- digital circuits