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

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