C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Approximate Model Counting via Extension Rule.
Jinyan Wang
Minghao Yin
Jingli 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