A Aralex Aachen research explorer

April 03, 2020 conference-paper Open access

ADDMC: Weighted Model Counting with Algebraic Decision Diagrams

Proceedings of the AAAI Conference on Artificial Intelligence

DOI: 10.1609/aaai.v34i02.5505 Full text (OA) OpenAlex

Authors 0

Author list not loaded yet.

Cited by 2 stored of 30

ParaGnosis: A Tool for Parallel Knowledge Compilation
2023 Lecture notes in computer science conference-paper Computer Science Bayesian Modeling and Causal Inference

1

citations
A compositional approach to probabilistic knowledge compilation
2021 International Journal of Approximate Reasoning article Computer Science Bayesian Modeling and Causal Inference Open access

6

citations

2 results

References 0