Dissociation-Based Oblivious Bounds for Weighted Model Counting.

Li Chou Wolfgang Gatterbauer Vibhav Gogate

Published in: UAI (2018)

Keyphrases

weighted model counting
probabilistic inference
bayesian inference
model counting
upper bound
lower bound
upper and lower bounds
satisfiability testing
worst case
graphical models
lower and upper bounds
vc dimension
constraint satisfaction
belief networks
knowledge compilation
polynomial size