Exploiting Treewidth for Projected Model Counting and Its Limits.

Johannes Klaus Fichte Markus Hecher Michael Morak Stefan Woltran

Published in: SAT (2018)

Keyphrases

model counting
weighted model counting
bounded treewidth
polynomial size
boolean functions
space complexity
upper bound
search space
knowledge compilation
satisfiability testing
probabilistic inference
expert systems