Hybrid Probabilistic Inference with Logical Constraints: Tractability and Message Passing
Published in KR2ML workshop @ NeurIPS19, 2019
KEYWORD: Hybrid Probabilistic Inference; Weighted Model Integration; Message Passing; Satisfiability Modulo Theories
Zeng, Zhe, et al. "Hybrid Probabilistic Inference with Logical Constraints: Tractability and Message-Passing." arXiv preprint arXiv:1909.09362 (2019). https://kr2ml.github.io/2019/papers/KR2ML_2019_paper_26.pdf