Advanced SMT techniques for weighted model integration
DOI10.1016/J.ARTINT.2019.04.003zbMATH Open1478.68328OpenAlexW2937129136WikidataQ128057624 ScholiaQ128057624MaRDI QIDQ2321319FDOQ2321319
Authors: Paolo Morettin, Andrea Passerini, Roberto Sebastiani 
Publication date: 28 August 2019
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2019.04.003
Recommendations
- Approximate weighted model integration on DNF structures
- Extending the Smodels system with cardinality and weight constraints
- Light-weight SMT-based model checking
- Weighted models for higher-order computation
- A comparison of SMT-solvers for timed weighted interpreted systems
- Toward a formal theory of model integration
probabilistic inferencesatisfiability modulo theoriesweighted model countingweighted model integration
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Reasoning under uncertainty in the context of artificial intelligence (68T37)
Cites Work
- The MathSAT5 SMT solver
- Inference in hybrid Bayesian networks using mixtures of polynomials
- Lazy satisfiability modulo theories
- Probabilistic planning via heuristic forward search and weighted model counting
- How to integrate a polynomial over a simplex
- Title not available (Why is that?)
- On probabilistic inference by weighted model counting
- Uniform generation of NP-witnesses using an NP-oracle
- Probabilistic databases
- Inference and learning in probabilistic logic programs using weighted Boolean formulas
- Compiling probabilistic graphical models using sentential decision diagrams
- Solving \#SAT and Bayesian inference with backtracking search
- Efficient solutions to factored MDPs with imprecise transition probabilities
- Approximate counting in SMT and value estimation for probabilistic programs
- Importance sampling-based estimation over AND/OR search spaces for graphical models
- Weighted model counting without parameter variables
Cited In (7)
- Title not available (Why is that?)
- Algebraic model counting
- A compositional approach to probabilistic knowledge compilation
- On probabilistic inference by weighted model counting
- On enumerating short projected models
- Enhancing SMT-based weighted model integration by structure awareness
- Approximate weighted model integration on DNF structures
Uses Software
This page was built for publication: Advanced SMT techniques for weighted model integration
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2321319)
