conftrace_

weighted model integration

15 papers

Explore in graph

Also known as

WMI

Co-occurring keywords

probabilistic inference (312) weighted model counting (20) hybrid domain (6) smt solving (22) continuous variable (10) exact inference (64) bayesian inference (1907) logical constraint (35) satisfiability modulo theories (22) smt solver (18)

Papers

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
Ordering Variables for Weighted Model Integration UAI 2020
Scaling up Hybrid Probabilistic Inference with Logical and Arithmetic Constraints via Message Passing ICML 2020
Probabilistic Inference with Algebraic Constraints: Theoretical Limits and Practical Approximations NIPS 2020
Learning Weighted Model Integration Distributions AAAI 2020
The pywmi Framework and Toolbox for Probabilistic Inference using Weighted Model Integration IJCAI 2019
Efficient Search-Based Weighted Model Integration UAI 2019
How to Exploit Structure while Solving Weighted Model Integration Problems UAI 2019
Exact and Approximate Weighted Model Integration with Probability Density Functions Using Knowledge Compilation AAAI 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