Related references
Note: Only part of the references are listed.Probabilistic sentence satisfiability: An approach to PSAT
T. C. Henderson et al.
ARTIFICIAL INTELLIGENCE (2020)
Advanced SMT techniques for weighted model integration
Paolo Morettin et al.
ARTIFICIAL INTELLIGENCE (2019)
On the relative expressiveness of Bayesian and neural networks
Arthur Choi et al.
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING (2019)
Weighted positive binary decision diagrams for exact probabilistic inference
Giso H. Dal et al.
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING (2017)
Exact Model Counting of Query Expressions: Limitations of Propositional Methods
Paul Beame et al.
ACM TRANSACTIONS ON DATABASE SYSTEMS (2017)
Compiling CSPs: A Complexity Map of (Non-Deterministic) Multivalued Decision Diagrams
Jerome Amilhastre et al.
INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS (2014)
Exploiting Structure in Weighted Model Counting Approaches to Probabilistic Inference
Wei Li et al.
JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH (2011)
On probabilistic inference by weighted model counting
Mark Chavira et al.
ARTIFICIAL INTELLIGENCE (2008)
AND/OR Multi-Valued Decision Diagrams (AOMDDs) for Graphical Models
Robert Mateescu et al.
JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH (2008)
A work-efficient distributed algorithm for reachability analysis
Orna Grumberg et al.
FORMAL METHODS IN SYSTEM DESIGN (2006)
Compiling relational Bayesian networks for exact inference
M Chavira et al.
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING (2006)
Factoring Boolean functions using graph partitioning
A Mintz et al.
DISCRETE APPLIED MATHEMATICS (2005)
Probabilistic decision graphs - Combining verification and AI techniques for probabilistic inference
M Jaeger
INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS (2004)
Recursive conditioning
A Darwiche
ARTIFICIAL INTELLIGENCE (2001)