On the Approximability of Weighted Model Integration on DNF Structures

Ralph Abboud, İsmail İlkan Ceylan, Radoslav Dimitrov

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, bu…