Static Contract Simplification.

Matthias Keil Peter Thiemann

Published in: CoRR (2017)

Keyphrases

dynamic analysis
multiresolution
supply chain
data sets
neural network
information retrieval
image processing
website
search algorithm
computational complexity
preprocessing
lower bound
expert systems
artificial neural networks
elementary functions