Finite Model Finding in SMT.

Andrew Reynolds Cesare Tinelli Amit Goel Sava Krstic

Published in: CAV (2013)

Keyphrases

computational model
probabilistic model
mathematical model
statistical model
real time
neural network
high level
probability distribution
management system
formal model
information retrieval
information systems
similarity measure
em algorithm
bayesian framework