• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Approximate Model Counting via Extension Rule.

Jinyan WangMinghao YinJingli Wu
Published in: FAW (2015)
Keyphrases
  • model counting
  • weighted model counting
  • knowledge compilation
  • satisfiability testing
  • special case
  • probabilistic inference
  • orders of magnitude
  • message passing
  • polynomial size