Unprovability of circuit upper bounds in Cook's theory PV.

Jan Krajícek Igor Carboni Oliveira

Published in: Electron. Colloquium Comput. Complex. (2016)

Keyphrases

upper bound
lower bound
tight bounds
upper and lower bounds
theoretical framework
worst case
computational model
branch and bound algorithm
theoretical basis
database
artificial intelligence
objective function
sample size
linear program
information theory