Login / Signup
Exploiting Treewidth for Projected Model Counting and its Limits.
Johannes Klaus Fichte
Michael Morak
Markus Hecher
Stefan Woltran
Published in:
CoRR (2018)
Keyphrases
</>
model counting
bounded treewidth
weighted model counting
polynomial size
boolean functions
upper bound
search space
satisfiability testing
space complexity
np complete
knowledge compilation
probabilistic inference
bayesian inference