Enhancing SMT-based weighted model integration by structure awareness
From MaRDI portal
Recommendations
- Advanced SMT techniques for weighted model integration
- On probabilistic inference by weighted model counting
- Weighted positive binary decision diagrams for exact probabilistic inference
- Exploiting structure in weighted model counting approaches to probabilistic inference
- \(T_{\mathcal{P}}\)-compilation for inference in probabilistic logic programs
Cites work
- scientific article; zbMATH DE number 1946853 (Why is no real title available?)
- scientific article; zbMATH DE number 1782878 (Why is no real title available?)
- scientific article; zbMATH DE number 2238781 (Why is no real title available?)
- A structure-preserving clause form translation
- Advanced SMT techniques for weighted model integration
- Approximate Counting in SMT and Value Estimation for Probabilistic Programs
- Effective lattice point counting in rational convex polytopes
- Four flavors of entailment
- Inference from iterative simulation using multiple sequences
- On probabilistic inference by weighted model counting
- Propagation of Probabilities, Means, and Variances in Mixed Graphical Association Models
- Solving \#SAT and Bayesian inference with backtracking search
- The MathSAT5 SMT solver
Cited in
(2)
This page was built for publication: Enhancing SMT-based weighted model integration by structure awareness
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6494358)
