Weighted Model Counting with Twin-Width.

Robert Ganian Filip Pokrývka André Schidler Kirill Simonov Stefan Szeider

Published in: SAT (2022)

Keyphrases

weighted model counting
probabilistic inference
bayesian inference
model counting
graphical models
bayesian networks
belief propagation
message passing
information extraction
orders of magnitude
belief networks
uniform distribution