Weighted model counting with conditional weights for Bayesian networks

Paulius Dilkas, Vaishak Belle

Abstract: Weighted model counting (WMC) has emerged as the unifying inference mechanism across many (probabilistic) domains. Encoding an inference problem as an instance of WMC typically necessitates adding ...