Login / Signup
Quantifier Instantiation Techniques for Finite Model Finding in SMT.
Andrew Reynolds
Cesare Tinelli
Amit Goel
Sava Krstic
Morgan Deters
Clark W. Barrett
Published in:
CADE (2013)
Keyphrases
</>
statistical model
prior knowledge
computational model
objective function
formal model
management system
sensitivity analysis
conceptual model
experimental data
theoretical framework
em algorithm
neural network
cost function
evolutionary algorithm
expert systems
similarity measure
high level
search engine