C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Approximate Model Counting Via Extension Rule and Clause Reduction.
Hao Liu
Ziao Ni
Wenyang Zhou
Tongbo Zhang
Shuai Lü
Published in:
ICIIP (2018)
Keyphrases
</>
model counting
satisfiability testing
weighted model counting
propositional logic
knowledge compilation
polynomial size
search space
propositional formulas