From Under-Approximations to Over-Approximations and Back.

Aws Albarghouthi Arie Gurfinkel Marsha Chechik

Published in: TACAS (2012)

Keyphrases

neural network
approximation methods
data sets
information retrieval
decision trees
closed form
closed form expressions