An improved time-space lower bound for tautologies.

Scott Diehl Dieter van Melkebeek Ryan Williams

Published in: J. Comb. Optim. (2011)

Keyphrases

lower bound
upper bound
branch and bound algorithm
search space
higher dimensional
machine learning
information systems
lower and upper bounds
data sets
parameter space
branch and bound
low dimensional
special case
search algorithm
optimal solution
information retrieval
neural network