Login / Signup
Model Finding for Recursive Functions in SMT.
Andrew Reynolds
Jasmin Christian Blanchette
Simon Cruanes
Cesare Tinelli
Published in:
IJCAR (2016)
Keyphrases
</>
computational model
experimental data
formal model
probabilistic model
statistical model
conceptual model
high level
data sets
learning process
prior knowledge
probability distribution
upper bound
theoretical analysis