C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Dualizing Projected Model Counting.
Sibylle Möhle
Armin Biere
Published in:
ICTAI (2018)
Keyphrases
</>
model counting
weighted model counting
knowledge compilation
satisfiability testing
polynomial size
bayesian inference
expert systems
knowledge based systems