Unprovability of circuit upper bounds in Cook's theory PV.
Jan KrajícekIgor Carboni OliveiraPublished in: Log. Methods Comput. Sci. (2017)
Keyphrases
- upper bound
- lower bound
- theoretical framework
- theoretical basis
- tight bounds
- high speed
- branch and bound algorithm
- worst case
- general theory
- upper and lower bounds
- lower and upper bounds
- electronic circuits
- data sets
- formal theory
- sample complexity
- generalization error
- learning problems
- low cost
- artificial intelligence
- neural network