Login / Signup

Approximate Model Counting Via Extension Rule and Clause Reduction.

Hao LiuZiao NiWenyang ZhouTongbo ZhangShuai Lü
Published in: ICIIP (2018)
Keyphrases
  • model counting
  • satisfiability testing
  • weighted model counting
  • propositional logic
  • knowledge compilation
  • polynomial size
  • search space
  • propositional formulas