Sign in

Weighted Model Counting with Twin-Width.

Robert GanianFilip PokrývkaAndré SchidlerKirill SimonovStefan Szeider
Published in: CoRR (2022)
Keyphrases
  • weighted model counting
  • probabilistic inference
  • bayesian inference
  • model counting
  • graphical models
  • satisfiability testing
  • bayesian networks
  • conditional probabilities
  • message passing