Login / Signup
Approximate Counting in SMT and Value Estimation for Probabilistic Programs.
Dmitry Chistikov
Rayna Dimitrova
Rupak Majumdar
Published in:
CoRR (2014)
Keyphrases
</>
generative model
accurate estimation
bayesian networks
maximum likelihood estimation
estimation accuracy
estimation error
computer programs
continuous valued
real time
probabilistic model
data driven
probabilistic reasoning
exact solution
exact and approximate
automatic programming