How to Exploit Structure while Solving Weighted Model Integration Problems

Samuel Kolb, Pedro Zuidberg Dos Martires, Luc De Raedt

Abstract: Weighted model counting (WMC) is a state-of-the-art technique for probabilistic inference in discrete domains. WMC has recently been extended towards weighted model integration (WMI) in order to ha...