Measure Theoretic Weighted Model Integration

Ivan Miosic, Pedro Zuidberg Dos Martires

Weighted model counting (WMC) is a popular framework to perform probabilistic inference with discrete random variables. Recently, WMC has been extended to weighted model integratio…