weighted model counting

Variance Computation for Weighted Model Counting with Knowledge Compilation Approach AAAI 2026 New Compilation Languages Based on Restricted Weak Decomposability AAAI 2025 Serving MPE Queries on Tensor Networks by Computing Derivatives PGM 2024 Counting and Sampling Models in First-Order Logic IJCAI 2023 Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula AAAI 2022 Fast Algorithms for Relational Marginal Polytopes IJCAI 2021 Faster lifting for two-variable logic using cell graphs UAI 2021 Lifted reasoning meets weighted model integration UAI 2021 Weighted model counting with conditional weights for Bayesian networks UAI 2021 ADDMC: Weighted Model Counting with Algebraic Decision Diagrams AAAI 2020 Beyond the Grounding Bottleneck: Datalog Techniques for Inference in Probabilistic Logic Programs AAAI 2020 Learning to Reason: Leveraging Neural Networks for Approximate DNF Counting AAAI 2020 Efficient Search-Based Weighted Model Integration UAI 2019 Fast Relational Probabilistic Inference and Learning: Approximate Counting via Hypergraphs AAAI 2019 How to Exploit Structure while Solving Weighted Model Integration Problems UAI 2019 The pywmi Framework and Toolbox for Probabilistic Inference using Weighted Model Integration IJCAI 2019 Parallel Probabilistic Inference by Weighted Model Counting PGM 2018 Efficient Inference for Untied MLNs IJCAI 2017 Efficient Weighted Model Integration via SMT-Based Predicate Abstraction IJCAI 2017 Weighted Model Integration with Orthogonal Transformations IJCAI 2017 Lifted Symmetry Detection and Breaking for MAP Inference NeurIPS 2015