weighted model integration

LP-Based Weighted Model Integration over Non-Linear Real Arithmetic IJCAI 2025 SMT-based weighted model integration with structure awareness UAI 2022 Hybrid Probabilistic Inference with Logical and Algebraic Constraints: a Survey IJCAI 2021 Lifted reasoning meets weighted model integration UAI 2021 Learning Weighted Model Integration Distributions AAAI 2020 Ordering Variables for Weighted Model Integration UAI 2020 Probabilistic Inference with Algebraic Constraints: Theoretical Limits and Practical Approximations NeurIPS 2020 Scaling up Hybrid Probabilistic Inference with Logical and Arithmetic Constraints via Message Passing ICML 2020 Efficient Search-Based Weighted Model Integration UAI 2019 Exact and Approximate Weighted Model Integration with Probability Density Functions Using Knowledge Compilation 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 Efficient Symbolic Integration for Probabilistic Inference IJCAI 2018 Efficient Weighted Model Integration via SMT-Based Predicate Abstraction IJCAI 2017 Weighted Model Integration with Orthogonal Transformations IJCAI 2017