Automated Implicit Computational Complexity Analysis (System Description).

Martin Avanzini Georg Moser Andreas Schnabl

Published in: IJCAR (2008)

Keyphrases

complexity analysis
theoretical analysis
lower bound
computational complexity
first order logic
semi automated
neural network
wide range
fully automated
real time
genetic algorithm
search engine
case study
high level
computer aided
shape description