Login / Signup

Weighted model counting beyond two-variable logic.

Antti KuusistoCarsten Lutz
Published in: LICS (2018)
Keyphrases
  • weighted model counting
  • probabilistic inference
  • bayesian inference
  • model counting
  • approximate inference
  • satisfiability testing
  • bayesian networks
  • prior knowledge
  • graphical models
  • belief networks