Proof Complexity Generators.

Published in: ACiD (2006)

Keyphrases

computational complexity
computational cost
real time
information retrieval
decision making
lower complexity
data sets
real world
image processing
decision trees
lower bound
artificial neural networks
worst case
linear logic