Approximate Counting in SMT and Value Estimation for Probabilistic Programs.
Dmitry ChistikovRayna DimitrovaRupak MajumdarPublished in: TACAS (2015)
Keyphrases
- continuous valued
- estimation accuracy
- bayesian networks
- probabilistic model
- estimation algorithm
- quality guarantees
- information theoretic
- probabilistic logic programs
- generative model
- high level
- data driven
- natural language processing
- exact solution
- accurate estimation
- data sets
- probabilistic approaches
- real time
- database