Login / Signup

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