Towards the Certification of Complexity Proofs

Published in: CoRR (2012)

Keyphrases

data structure
data sets
neural network
artificial intelligence
decision trees
search algorithm
special case
worst case
third party
theorem proving