On the Approximability of Weighted Model Integration on DNF Structures

Ralph Abboud, Ismail Ilkan Ceylan, Radoslav Dimitrov

Abstract: Weighted model counting (WMC) consists of computing the weighted sum of all satisfying assignments of a propositional formula. WMC is well-known to be #P-hard for exact solving, but admits a fully ...