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